PCIC_CMA_HIGH
Pcic_write(ph, regbase_win + PCIC_CMA_HIGH, off_high);
r6 = Pcic_read(ph, regbase_win + PCIC_CMA_HIGH);