void xen_hvm_resume(bool suspend_cancelled) { xen_hvm_init(suspend_cancelled ? XEN_HVM_INIT_CANCELLED_SUSPEND : XEN_HVM_INIT_RESUME); /* Register vcpu_info area for CPU#0. */ xen_hvm_cpu_init(); }
/*---------------------- XEN diverged cpu operations -------------------------*/ static void xen_hvm_cpu_resume(void) { u_int cpuid = PCPU_GET(cpuid); /* * Reset pending bitmap IPIs, because Xen doesn't preserve pending * event channels on migration. */ cpu_ipi_pending[cpuid] = 0; /* register vcpu_info area */ xen_hvm_cpu_init(); }