Searched refs:vcpu_arch_put_guest (Results 1 – 4 of 4) sorted by relevance
32 #define vcpu_arch_put_guest(mem, __val) \ macro
109 vcpu_arch_put_guest(*(uint64_t *)addr, READ_ONCE(iteration)); in guest_code()119 vcpu_arch_put_guest(*(uint64_t *)addr, READ_ONCE(iteration)); in guest_code()
175 vcpu_arch_put_guest(vi->evtchn_upcall_pending, 0); in evtchn_handler()176 vcpu_arch_put_guest(vi->evtchn_pending_sel, 0); in evtchn_handler()
617 #ifndef vcpu_arch_put_guest618 #define vcpu_arch_put_guest(mem, val) do { (mem) = (val); } while (0) macro