GIC_VX_ACCESSOR_RW_INTR_REG
GIC_VX_ACCESSOR_RW_INTR_REG(32, 0x040, 0x4, map)
GIC_VX_ACCESSOR_RW_INTR_REG(32, 0x100, 0x4, eic_shadow_set)