write_guest_global
write_guest_global(vm, test_data.request_vcpus_stop, true);
write_guest_global(vm, ucall_exit_mmio_addr, (vm_vaddr_t *)mmio_gva);
write_guest_global(vm, ucall_exit_mmio_addr, (vm_vaddr_t *)mmio_gva);
write_guest_global(vm, ucall_pool, (struct ucall_header *)vaddr);