Searched refs:vcpu_arch_put_guest (Results 1 – 5 of 5) sorted by relevance
30 vcpu_arch_put_guest(*((volatile uint64_t *)gpa), gpa); in guest_code()58 vcpu_arch_put_guest(*((volatile uint64_t *)gpa), gpa); in guest_code()71 vcpu_arch_put_guest(*((volatile uint64_t *)gpa), gpa); in guest_code()
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()
32 #define vcpu_arch_put_guest(mem, __val) \ macro
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