rendezvous_with_vcpus

380

rendezvous_with_vcpus(&time_start, "spawning");

381

rendezvous_with_vcpus(&time_run1, "run 1");

382

rendezvous_with_vcpus(&time_reset, "reset");

383

rendezvous_with_vcpus(&time_run2, "run 2");

389

rendezvous_with_vcpus(&time_ro, "mprotect RO");

391

rendezvous_with_vcpus(&time_rw, "mprotect RW");