Searched refs:msg_page (Results 1 – 2 of 2) sorted by relevance
199 hv_vcpu->exit.u.synic.msg_page = synic->msg_page; in synic_exit()249 synic->msg_page = data; in synic_set_msr()410 *pdata = synic->msg_page; in synic_get_msr()711 if (!(synic->msg_page & HV_SYNIC_SIMP_ENABLE)) in synic_deliver_msg()714 msg_page_gfn = synic->msg_page >> PAGE_SHIFT; in synic_deliver_msg()
502 u64 msg_page; member