PCIC_CMA_HIGH    2451 dev/pci/pccbb.c 	Pcic_write(ph, regbase_win + PCIC_CMA_HIGH, off_high);
PCIC_CMA_HIGH    2466 dev/pci/pccbb.c 		r6 = Pcic_read(ph, regbase_win + PCIC_CMA_HIGH);