Searched refs:vttbr_el2 (Results 1 – 3 of 3) sorted by relevance
125 uintreg_t vttbr_el2; member
129 r->lazy.vttbr_el2 = pa_addr(table) | ((uint64_t)vm_id << 48); in arch_regs_reset()
378 mrs x25, vttbr_el2746 msr vttbr_el2, x25
Completed in 4 milliseconds