Searched refs:xen_vcpu_setup_restore (Results 1 – 1 of 1) sorted by relevance
96 static void xen_vcpu_setup_restore(int cpu) in xen_vcpu_setup_restore() function137 xen_vcpu_setup_restore(cpu); in xen_vcpu_restore()