vcpu_arch_put_guest
vcpu_arch_put_guest(*(uint64_t *)addr, READ_ONCE(iteration));
vcpu_arch_put_guest(*(uint64_t *)addr, READ_ONCE(iteration));
#ifndef vcpu_arch_put_guest
vcpu_arch_put_guest(*((volatile uint64_t *)gpa), gpa);
vcpu_arch_put_guest(*((volatile uint64_t *)gpa), gpa);
vcpu_arch_put_guest(*((volatile uint64_t *)gpa), gpa);
vcpu_arch_put_guest(vi->evtchn_upcall_pending, 0);
vcpu_arch_put_guest(vi->evtchn_pending_sel, 0);