# See docs/devel/tracing.txt for syntax documentation.

# pci.c
alpha_pci_iack_write(void) ""