Searched refs:apic_khz (Results 1 – 3 of 3) sorted by relevance
64 uint32_t apic_khz; member
168 __u32 apic_khz; member
67 lapic_timer_period = setup_data.v1.apic_khz * (1000 / HZ); in jailhouse_timer_init()