pml_buf          5619 arch/x86/kvm/vmx/vmx.c 	u64 *pml_buf;
pml_buf          5634 arch/x86/kvm/vmx/vmx.c 	pml_buf = page_address(vmx->pml_pg);
pml_buf          5638 arch/x86/kvm/vmx/vmx.c 		gpa = pml_buf[pml_idx];