Searched refs:clocksource_msr_base (Results 1 – 1 of 1) sorted by relevance
50 uint32_t clocksource_msr_base = 0; in pvclock_init() local52 clocksource_msr_base = 0x11; in pvclock_init()55 clocksource_msr_base = 0x4b564d00; in pvclock_init()57 if (!clocksource_msr_base) { in pvclock_init()60 dprintf(INFO, "pv_clock: clocksource detected, msr base %#x\n", clocksource_msr_base); in pvclock_init()74 write_msr(clocksource_msr_base, paddr); in pvclock_init()75 write_msr(clocksource_msr_base + 1, paddr + sizeof(struct pvclock_wall_clock) + 1); in pvclock_init()
Completed in 3 milliseconds