Searched refs:l4e_from_intpte (Results 1 – 3 of 3) sorted by relevance
33 l4e_from_intpte(pte_read_atomic(&l4e_get_intpte(*(l4ep))))157 #define l4e_from_intpte(intpte) ((l4_pgentry_t) { (intpte_t)(intpte) }) macro
1024 *pl4e = l4e_from_intpte(l4e_get_intpte(*pl4e) + in __start_xen()
3674 rc = mod_l4_entry(va, l4e_from_intpte(req.val), mfn, in do_mmu_update()
Completed in 15 milliseconds