26 static void cpuid_test(void)  in cpuid_test()  argument
32 static void vmcall(void)  in vmcall()  argument
43 static void mov_from_cr8(void)  in mov_from_cr8()  argument
50 static void mov_to_cr8(void)  in mov_to_cr8()  argument
58 static int is_smp(void)  in is_smp()  argument
94 static void self_ipi_sti_nop(void)  in self_ipi_sti_nop()  argument
103 static void self_ipi_sti_hlt(void)  in self_ipi_sti_hlt()  argument
112 static void self_ipi_tpr(void)  in self_ipi_tpr()  argument
122 static void self_ipi_tpr_sti_nop(void)  in self_ipi_tpr_sti_nop()  argument
133 static void self_ipi_tpr_sti_hlt(void)  in self_ipi_tpr_sti_hlt()  argument
144 static int is_x2apic(void)  in is_x2apic()  argument
149 static void x2apic_self_ipi_sti_nop(void)  in x2apic_self_ipi_sti_nop()  argument
156 static void x2apic_self_ipi_sti_hlt(void)  in x2apic_self_ipi_sti_hlt()  argument
163 static void x2apic_self_ipi_tpr(void)  in x2apic_self_ipi_tpr()  argument
171 static void x2apic_self_ipi_tpr_sti_nop(void)  in x2apic_self_ipi_tpr_sti_nop()  argument
180 static void x2apic_self_ipi_tpr_sti_hlt(void)  in x2apic_self_ipi_tpr_sti_hlt()  argument
189 static void ipi(void)  in ipi()  argument
196 static void ipi_halt(void)  in ipi_halt()  argument
207 static void inl_pmtimer(void)  in inl_pmtimer()  argument
219 static void inl_nop_qemu(void)  in inl_nop_qemu()  argument
224 static void inl_nop_kernel(void)  in inl_nop_kernel()  argument
229 static void outl_elcr_kernel(void)  in outl_elcr_kernel()  argument
234 static void mov_dr(void)  in mov_dr()  argument
239 static void ple_round_robin(void)  in ple_round_robin()  argument
260 static void rd_tsc_adjust_msr(void)  in rd_tsc_adjust_msr()  argument
265 static void wr_tsc_adjust_msr(void)  in wr_tsc_adjust_msr()  argument
270 static void wr_kernel_gs_base(void)  in wr_kernel_gs_base()  argument
287 static void pci_mem_testb(void)  in pci_mem_testb()  argument
292 static void pci_mem_testw(void)  in pci_mem_testw()  argument
297 static void pci_mem_testl(void)  in pci_mem_testl()  argument
302 static void pci_io_testb(void)  in pci_io_testb()  argument
307 static void pci_io_testw(void)  in pci_io_testw()  argument
312 static void pci_io_testl(void)  in pci_io_testl()  argument
411 static int has_tscdeadline(void)  in has_tscdeadline()  argument
424 static void tscdeadline_immed(void)  in tscdeadline_immed()  argument
430 static void tscdeadline(void)  in tscdeadline()  argument
437 static void wr_tsx_ctrl_msr(void)  in wr_tsx_ctrl_msr()  argument
442 static int has_tsx_ctrl(void)  in has_tsx_ctrl()  argument
448 static void wr_ibrs_msr(void)  in wr_ibrs_msr()  argument
454 static int has_ibpb(void)  in has_ibpb()  argument
460 static int has_spec_ctrl(void)  in has_spec_ctrl()  argument
465 static void wr_ibpb_msr(void)  in wr_ibpb_msr()  argument
470 static void toggle_cr0_wp(void)  in toggle_cr0_wp()  argument
476 static void toggle_cr4_pge(void)  in toggle_cr4_pge()  argument