Searched refs:va_tsc (Results 1 - 1 of 1) sorted by relevance

/linux-4.4.14/drivers/hv/
H A Dhv.c197 void *va_tsc = NULL; hv_init() local
243 va_tsc = __vmalloc(PAGE_SIZE, GFP_KERNEL, PAGE_KERNEL); hv_init()
244 if (!va_tsc) hv_init()
246 hv_context.tsc_page = va_tsc; hv_init()
251 tsc_msr.guest_physical_address = vmalloc_to_pfn(va_tsc); hv_init()

Completed in 97 milliseconds