vmx_destroy_pml_buffer 6663 arch/x86/kvm/vmx/vmx.c 		vmx_destroy_pml_buffer(vmx);
vmx_destroy_pml_buffer 6797 arch/x86/kvm/vmx/vmx.c 	vmx_destroy_pml_buffer(vmx);