Searched refs:SVMCTL_PTROOT_V (Results 1 – 4 of 4) sorted by relevance
46 set_ttbr(p, m_ptr->SVMCTL_PTROOT, (u32_t *) m_ptr->SVMCTL_PTROOT_V); in arch_do_vmctl()
49 setcr3(p, m_ptr->SVMCTL_PTROOT, (u32_t *) m_ptr->SVMCTL_PTROOT_V); in arch_do_vmctl()
39 m.SVMCTL_PTROOT_V = ptroot_v; in sys_vmctl_set_addrspace()
382 #define SVMCTL_PTROOT_V m1_p1 macro