Searched refs:va_tsc (Results 1 – 1 of 1) sorted by relevance
197 void *va_tsc = NULL; in hv_init() local243 va_tsc = __vmalloc(PAGE_SIZE, GFP_KERNEL, PAGE_KERNEL); in hv_init()244 if (!va_tsc) in hv_init()246 hv_context.tsc_page = va_tsc; in hv_init()251 tsc_msr.guest_physical_address = vmalloc_to_pfn(va_tsc); in hv_init()