Lines Matching defs:int
64 __read_mostly int xen_have_vector_callback;
95 int xen_have_vcpu_info_placement = 1;
97 static int xen_cpu_up_online(unsigned int cpu)
103 int xen_cpuhp_setup(int (*cpu_up_prepare_cb)(unsigned int),
104 int (*cpu_dead_cb)(unsigned int))
106 int rc;
122 static int xen_vcpu_setup_restore(int cpu)
124 int rc = 0;
148 int cpu, rc;
187 void xen_vcpu_info_reset(int cpu)
198 int xen_vcpu_setup(int cpu)
201 int err;
259 void xen_reboot(int reason)
262 int cpu;
271 static int reboot_reason = SHUTDOWN_reboot;
278 static int
299 static int __init parse_xen_legacy_crash(char *arg)
311 int xen_panic_handler_init(void)
317 void xen_pin_vcpu(int cpu)
321 int ret;
357 void xen_arch_register_cpu(int num)
363 void xen_arch_unregister_cpu(int num)