449 static inline void clgi(void)  in clgi()  argument
454 static inline void stgi(void)  in stgi()  argument
464 static int get_npt_level(void)  in get_npt_level()  argument
570 static void svm_init_erratum_383(void)  in svm_init_erratum_383()  argument
615 static int has_svm(void)  in has_svm()  argument
627 static void svm_hardware_disable(void)  in svm_hardware_disable()  argument
638 static int svm_hardware_enable(void)  in svm_hardware_enable()  argument
829 static void init_msrpm_offsets(void)  in init_msrpm_offsets()  argument
867 static __init int svm_hardware_setup(void)  in svm_hardware_setup()  argument
941 static __exit void svm_hardware_unsetup(void)  in svm_hardware_unsetup()  argument
1810 static bool is_erratum_383(void)  in is_erratum_383()  argument
4046 static int is_disabled(void)  in is_disabled()  argument
4073 static bool svm_cpu_has_accelerated_tpr(void)  in svm_cpu_has_accelerated_tpr()  argument
4114 static int svm_get_lpage_level(void)  in svm_get_lpage_level()  argument
4119 static bool svm_rdtscp_supported(void)  in svm_rdtscp_supported()  argument
4124 static bool svm_invpcid_supported(void)  in svm_invpcid_supported()  argument
4129 static bool svm_mpx_supported(void)  in svm_mpx_supported()  argument
4134 static bool svm_xsaves_supported(void)  in svm_xsaves_supported()  argument
4139 static bool svm_has_wbinvd_exit(void)  in svm_has_wbinvd_exit()  argument
4449 static int __init svm_init(void)  in svm_init()  argument
4455 static void __exit svm_exit(void)  in svm_exit()  argument