Searched defs:sre (Results 1 – 2 of 2) sorted by relevance
94 u32 sre, gva_t eaddr, in kvmppc_mmu_book3s_32_get_pteg()121 static u32 kvmppc_mmu_book3s_32_get_ptem(u32 sre, gva_t eaddr, bool primary) in kvmppc_mmu_book3s_32_get_ptem()186 u32 sre; in kvmppc_mmu_book3s_32_xlate_pte() local
426 u64 val, sre = read_gicreg(ICC_SRE_EL1); in __vgic_v3_get_gic_config() local