Symbol: PCIC_CMA_HIGH
sys/dev/pci/pccbb.c
2609
Pcic_write(sc, regbase_win + PCIC_CMA_HIGH, off_high);
sys/dev/pci/pccbb.c
2624
r6 = Pcic_read(sc, regbase_win + PCIC_CMA_HIGH);