38     void *msg_page;  member
75     svcpu->msg_page = synic_alloc_page();  in synic_enable()
79     wrmsr(HV_X64_MSR_SIMP, (u64)virt_to_phys(svcpu->msg_page) |  in synic_enable()
145     struct hv_message_page *msg_page;  in __stimer_isr()  local
150     msg_page = (struct hv_message_page *)svcpu->msg_page;  in __stimer_isr()
151     for (i = 0; i < ARRAY_SIZE(msg_page->sint_message); i++) {  in __stimer_isr()
152         msg = &msg_page->sint_message[i];  in __stimer_isr()
250     synic_free_page(svcpu->msg_page);  in synic_disable()
345     struct hv_message_page *msg_page;  in stimer_test_one_shot_busy()  local
352     msg_page = g_synic_vcpu[vcpu].msg_page;  in stimer_test_one_shot_busy()
353     msg = &msg_page->sint_message[timer->sint];  in stimer_test_one_shot_busy()