PCIC_SMM_STOP_LOW
Pcic_write(sc, regbase_win + PCIC_SMM_STOP_LOW, stop_low);
r3 = Pcic_read(sc, regbase_win + PCIC_SMM_STOP_LOW);