Symbol: ICIC_WRITE
sys/arch/alpha/pci/pci_2100_a500.c
712
ICIC_WRITE(tcp, mask);
sys/arch/alpha/pci/pci_2100_a500.c
753
ICIC_WRITE(tcp, 0xffffffffffffffffUL);
sys/arch/alpha/pci/pci_2100_a500.c
827
ICIC_WRITE(tcp, mask);