Searched refs:sync_with_host (Results 1 – 1 of 1) sorted by relevance
45 static inline void sync_with_host(uint64_t phase) in sync_with_host() function59 sync_with_host(8); in l2_guest_code()61 sync_with_host(10); in l2_guest_code()74 sync_with_host(1); in guest_code()78 sync_with_host(2); in guest_code()82 sync_with_host(4); in guest_code()95 sync_with_host(5); in guest_code()99 sync_with_host(7); in guest_code()110 sync_with_host(12); in guest_code()113 sync_with_host(DONE); in guest_code()