KVM_MMU_PAGE_PRINTK  165 arch/x86/kvm/mmutrace.h 	TP_printk("%s %s", KVM_MMU_PAGE_PRINTK(),
KVM_MMU_PAGE_PRINTK  182 arch/x86/kvm/mmutrace.h 	TP_printk("%s", KVM_MMU_PAGE_PRINTK())