Searched refs:VGIC_ACCESS_64bit (Results 1 – 4 of 4) sorted by relevance
514 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),533 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),539 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),542 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),
41 #define VGIC_ACCESS_64bit 4 macro
1770 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),1773 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),1776 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),1780 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),1783 VGIC_ACCESS_64bit | VGIC_ACCESS_32bit),2007 len = region->access_flags & VGIC_ACCESS_64bit ? 8 : 4; in vgic_its_attr_regs_access()
741 flags = VGIC_ACCESS_64bit; in check_region()
