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