Searched refs:message_type (Results 1 – 2 of 2) sorted by relevance
603 r = kvm_vcpu_read_guest_page(vcpu, msg_page_gfn, &hv_hdr.message_type, in synic_deliver_msg()605 header.message_type), in synic_deliver_msg()606 sizeof(hv_hdr.message_type)); in synic_deliver_msg()610 if (hv_hdr.message_type != HVMSG_NONE) { in synic_deliver_msg()755 msg->header.message_type = HVMSG_TIMER_EXPIRED; in stimer_prepare_msg()
504 __u32 message_type; member