trace_kvm_mmu_paging_element  328 arch/x86/kvm/paging_tmpl.h 		trace_kvm_mmu_paging_element(pte, walker->level);
trace_kvm_mmu_paging_element  392 arch/x86/kvm/paging_tmpl.h 		trace_kvm_mmu_paging_element(pte, walker->level);