Lines Matching defs:hv_vmbus_g_context
60 hv_vmbus_context hv_vmbus_g_context = {
127 volatile void* hypercall_page = hv_vmbus_g_context.hypercall_page;
145 volatile void* hypercall_page = hv_vmbus_g_context.hypercall_page;
171 hv_vmbus_g_context.syn_ic_event_page,
176 hv_vmbus_g_context.syn_ic_msg_page,
190 hv_vmbus_g_context.guest_id = os_guest_info;
216 hv_vmbus_g_context.hypercall_page = virt_addr;
243 if (hv_vmbus_g_context.guest_id == HV_FREEBSD_GUEST_ID) {
244 if (hv_vmbus_g_context.hypercall_page != NULL) {
248 free(hv_vmbus_g_context.hypercall_page, M_DEVBUF);
249 hv_vmbus_g_context.hypercall_page = NULL;
334 if (hv_vmbus_g_context.hypercall_page == NULL)
342 hv_vmbus_g_context.syn_ic_msg_page[cpu] =
344 hv_vmbus_g_context.syn_ic_event_page[cpu] =
354 hv_vmbus_g_context.syn_ic_msg_page[cpu])) >> PAGE_SHIFT);
364 hv_vmbus_g_context.syn_ic_event_page[cpu])) >> PAGE_SHIFT);
383 hv_vmbus_g_context.syn_ic_initialized = TRUE;
390 hv_vmbus_g_context.hv_vcpu_index[cpu] = (uint32_t)hv_vcpu_index;
404 if (!hv_vmbus_g_context.syn_ic_initialized)