__pi_post_block 7413 arch/x86/kvm/vmx/vmx.c __pi_post_block(vcpu); __pi_post_block 7437 arch/x86/kvm/vmx/vmx.c __pi_post_block(vcpu);