Searched refs:hax_sync_vcpus (Results 1 – 3 of 3) sorted by relevance
20 int hax_sync_vcpus(void);
2000 hax_sync_vcpus(); in main_loop()4352 hax_sync_vcpus(); in main()
1045 int hax_sync_vcpus(void) in hax_sync_vcpus() function