pt_element_t 26 arch/x86/kvm/paging_tmpl.h #define pt_element_t u64 pt_element_t 43 arch/x86/kvm/paging_tmpl.h #define pt_element_t u32 pt_element_t 502 arch/x86/kvm/paging_tmpl.h #undef pt_element_t