SI_INTR_VA
setpte4m(SI_INTR_VA, pte);
#define ICR_SI_PEND (SI_INTR_VA)
#define ICR_SI_MASK (SI_INTR_VA + 0x4)
#define ICR_SI_CLR (SI_INTR_VA + 0x8)
#define ICR_SI_SET (SI_INTR_VA + 0xc)
#define ICR_ITR (SI_INTR_VA + 0x10)
#define IODEV_BASE ( SI_INTR_VA + _MAXNBPG)