Searched refs:VGIC_ACCESS_64bit (Results 1 – 4 of 4) sorted by relevance
519 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),537 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),543 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),546 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),
52 #define VGIC_ACCESS_64bit 4 macro
1626 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),1629 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),1632 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),1636 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),1639 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),1819 len = region->access_flags & VGIC_ACCESS_64bit ? 8 : 4; in vgic_its_attr_regs_access()
719 flags = VGIC_ACCESS_64bit; in check_region()
