SNI_PCIT_INT_REG
*(volatile u32 *)SNI_PCIT_INT_REG |= mask;
*(volatile u32 *)SNI_PCIT_INT_REG &= ~mask;
u32 pending = *(volatile u32 *)SNI_PCIT_INT_REG;
u32 pending = *(volatile u32 *)SNI_PCIT_INT_REG;
*(volatile u32 *)SNI_PCIT_INT_REG = 0;
*(volatile u32 *)SNI_PCIT_INT_REG = 0x40000000;