PECFG_PIM01SAL
out_le32(mbase + PECFG_PIM01SAL, RES_TO_U32_LOW(sa));
out_le32(mbase + PECFG_PIM01SAL, 0x00000000);