Searched refs:root_get_intpte (Results 1 – 2 of 2) sorted by relevance
| /xen/xen/include/asm-x86/x86_64/ | ||
| A D | page.h | 121 #define root_get_intpte l4e_get_intpte macro |
| /xen/xen/arch/x86/ | ||
| A D | smpboot.c | 810 if ( unlikely(!root_get_intpte(common_pgt)) ) in setup_cpu_root_pgt() |
Completed in 5 milliseconds