Searched refs:VGIC_ACCESS_64bit (Results 1 – 4 of 4) sorted by relevance
596 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),616 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),622 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),625 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),
41 #define VGIC_ACCESS_64bit 4 macro
1778 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),1781 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),1784 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),1788 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),1791 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),2015 len = region->access_flags & VGIC_ACCESS_64bit ? 8 : 4; in vgic_its_attr_regs_access()
925 flags = VGIC_ACCESS_64bit; in check_region()