Searched refs:VGIC_ACCESS_64bit (Results 1 – 4 of 4) sorted by relevance
536 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),555 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),561 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),564 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),
52 #define VGIC_ACCESS_64bit 4 macro
1640 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),1643 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),1646 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),1650 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),1653 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),1834 len = region->access_flags & VGIC_ACCESS_64bit ? 8 : 4; in vgic_its_attr_regs_access()
733 flags = VGIC_ACCESS_64bit; in check_region()