xfer_to_guest_mode_work_pending
xfer_to_guest_mode_work_pending();
if (kvm_request_pending(vcpu) || xfer_to_guest_mode_work_pending()) {
xfer_to_guest_mode_work_pending()) {
if (xfer_to_guest_mode_work_pending()) {
if (xfer_to_guest_mode_work_pending()) {
kvm_request_pending(vcpu) || xfer_to_guest_mode_work_pending();