39 asmlinkage __visible unsigned long vsmp_save_fl(void)  in vsmp_save_fl()  argument
59 asmlinkage __visible void vsmp_irq_disable(void)  in vsmp_irq_disable()  argument
67 asmlinkage __visible void vsmp_irq_enable(void)  in vsmp_irq_enable()  argument
90 static void __init set_vsmp_pv_ops(void)  in set_vsmp_pv_ops()  argument
134 static void __init set_vsmp_pv_ops(void)  in set_vsmp_pv_ops()  argument
142 static void __init detect_vsmp_box(void)  in detect_vsmp_box()  argument
155 static int is_vsmp_box(void)  in is_vsmp_box()  argument
166 static void __init detect_vsmp_box(void)  in detect_vsmp_box()  argument
169 static int is_vsmp_box(void)  in is_vsmp_box()  argument
175 static void __init vsmp_cap_cpus(void)  in vsmp_cap_cpus()  argument
224 static void vsmp_apic_post_init(void)  in vsmp_apic_post_init()  argument
233 void __init vsmp_init(void)  in vsmp_init()  argument