Searched refs:TTBR_ASID_MASK (Results 1 – 3 of 3) sorted by relevance
625 paging->ttbr0_addr = hypctx->ttbr0_el1 & ~(TTBR_ASID_MASK | TTBR_CnP); in arm64_gen_inst_emul_data()626 paging->ttbr1_addr = hypctx->ttbr1_el1 & ~(TTBR_ASID_MASK | TTBR_CnP); in arm64_gen_inst_emul_data()
339 paging->ttbr0_addr = regs[0] & ~(TTBR_ASID_MASK | TTBR_CnP); in guest_paging_info()340 paging->ttbr1_addr = regs[1] & ~(TTBR_ASID_MASK | TTBR_CnP); in guest_paging_info()
2876 #define TTBR_ASID_MASK (0xfffful << TTBR_ASID_SHIFT) macro