Searched refs:__pml4 (Results 1 – 2 of 2) sorted by relevance
65 #define __pml4(x) ((pml4_t) { (x) } ) macro
260 init_level4_pgt[0] = __pml4(__pa(level3_ident_pgt) | 7); in reboot_warm()