Searched refs:userspace_migrate_vcpu (Results 1 – 1 of 1) sorted by relevance
130 static void userspace_migrate_vcpu(void) in userspace_migrate_vcpu() function534 userspace_migrate_vcpu(); in timers_sanity_checks()540 userspace_migrate_vcpu(); in timers_sanity_checks()550 userspace_migrate_vcpu(); in timers_sanity_checks()561 userspace_migrate_vcpu(); in timers_sanity_checks()569 userspace_migrate_vcpu(); in timers_sanity_checks()