203 static void lguest_leave_lazy_mmu_mode(void)  in lguest_leave_lazy_mmu_mode()  argument
240 asmlinkage __visible unsigned long lguest_save_fl(void)  in lguest_save_fl()  argument
246 asmlinkage __visible void lguest_irq_disable(void)  in lguest_irq_disable()  argument
396 static void lguest_load_tr_desc(void)  in lguest_load_tr_desc()  argument
518 static unsigned long lguest_read_cr0(void)  in lguest_read_cr0()  argument
528 static void lguest_clts(void)  in lguest_clts()  argument
539 static unsigned long lguest_read_cr2(void)  in lguest_read_cr2()  argument
563 static unsigned long lguest_read_cr3(void)  in lguest_read_cr3()  argument
569 static unsigned long lguest_read_cr4(void)  in lguest_read_cr4()  argument
792 static void lguest_flush_tlb_user(void)  in lguest_flush_tlb_user()  argument
802 static void lguest_flush_tlb_kernel(void)  in lguest_flush_tlb_kernel()  argument
862 static void __init lguest_init_IRQ(void)  in lguest_init_IRQ()  argument
918 static unsigned long lguest_tsc_khz(void)  in lguest_tsc_khz()  argument
1040 static void lguest_time_init(void)  in lguest_time_init()  argument
1105 static void lguest_wbinvd(void)  in lguest_wbinvd()  argument
1126 static u64 lguest_apic_icr_read(void)  in lguest_apic_icr_read()  argument
1137 static void lguest_apic_wait_icr_idle(void)  in lguest_apic_wait_icr_idle()  argument
1142 static u32 lguest_apic_safe_wait_icr_idle(void)  in lguest_apic_safe_wait_icr_idle()  argument
1147 static void set_lguest_basic_apic_ops(void)  in set_lguest_basic_apic_ops()  argument
1159 static void lguest_safe_halt(void)  in lguest_safe_halt()  argument
1171 static void lguest_power_off(void)  in lguest_power_off()  argument
1194 static __init char *lguest_memory_setup(void)  in lguest_memory_setup()  argument
1238 static void probe_pci_console(void)  in probe_pci_console()  argument
1412 __init void lguest_init(void)  in lguest_init()  argument