Searched defs:vgic_hcr (Results 1 – 1 of 1) sorted by relevance
298 u32 vgic_hcr; member307 u32 vgic_hcr; member