PCIC_SMM_START_LOW
Pcic_write(sc, regbase_win + PCIC_SMM_START_LOW, start_low);
r1 = Pcic_read(sc, regbase_win + PCIC_SMM_START_LOW);