Searched refs:userspace_migrate_vcpu (Results 1 – 1 of 1) sorted by relevance
129 static void userspace_migrate_vcpu(void) in userspace_migrate_vcpu() function533 userspace_migrate_vcpu(); in timers_sanity_checks()539 userspace_migrate_vcpu(); in timers_sanity_checks()549 userspace_migrate_vcpu(); in timers_sanity_checks()560 userspace_migrate_vcpu(); in timers_sanity_checks()568 userspace_migrate_vcpu(); in timers_sanity_checks()