451 static inline void clgi(void)  in clgi()  argument
456 static inline void stgi(void)  in stgi()  argument
466 static int get_npt_level(void)  in get_npt_level()  argument
572 static void svm_init_erratum_383(void)  in svm_init_erratum_383()  argument
617 static int has_svm(void)  in has_svm()  argument
629 static void svm_hardware_disable(void)  in svm_hardware_disable()  argument
640 static int svm_hardware_enable(void)  in svm_hardware_enable()  argument
831 static void init_msrpm_offsets(void)  in init_msrpm_offsets()  argument
869 static __init int svm_hardware_setup(void)  in svm_hardware_setup()  argument
932 static __exit void svm_hardware_unsetup(void)  in svm_hardware_unsetup()  argument
1726 static bool is_erratum_383(void)  in is_erratum_383()  argument
3956 static int is_disabled(void)  in is_disabled()  argument
3983 static bool svm_cpu_has_accelerated_tpr(void)  in svm_cpu_has_accelerated_tpr()  argument
3988 static bool svm_has_high_real_mode_segbase(void)  in svm_has_high_real_mode_segbase()  argument
4033 static int svm_get_lpage_level(void)  in svm_get_lpage_level()  argument
4038 static bool svm_rdtscp_supported(void)  in svm_rdtscp_supported()  argument
4043 static bool svm_invpcid_supported(void)  in svm_invpcid_supported()  argument
4048 static bool svm_mpx_supported(void)  in svm_mpx_supported()  argument
4053 static bool svm_xsaves_supported(void)  in svm_xsaves_supported()  argument
4058 static bool svm_has_wbinvd_exit(void)  in svm_has_wbinvd_exit()  argument
4369 static int __init svm_init(void)  in svm_init()  argument
4375 static void __exit svm_exit(void)  in svm_exit()  argument