apic_khz 148 arch/x86/include/uapi/asm/bootparam.h __u32 apic_khz; apic_khz 48 arch/x86/kernel/jailhouse.c lapic_timer_period = setup_data.apic_khz * (1000 / HZ);