Searched refs:clocksource_page (Results 1 – 1 of 1) sorted by relevance
| /arch/x86/ |
| A D | pv.c | 63 void *clocksource_page; in pvclock_init() local
64 … status_t err = vmm_alloc(vmm_get_kernel_aspace(), "lapic", PAGE_SIZE, &clocksource_page, 0, 0, 0); in pvclock_init()
71 arch_mmu_query(&vmm_get_kernel_aspace()->arch_aspace, (vaddr_t)clocksource_page, &paddr, NULL); in pvclock_init()
72 LTRACEF("clocksource page %p, paddr %#" PRIxPTR "\n", clocksource_page, paddr); in pvclock_init()
77 wall_clock = (struct pvclock_wall_clock *)clocksource_page; in pvclock_init()
|
Completed in 2 milliseconds