Searched refs:evtchn_upcall_mask (Results 1 - 3 of 3) sorted by relevance

/seL4-camkes-master/tools/rumprun/platform/xen/xen/
H A Dhypervisor.c79 save = vcpu->evtchn_upcall_mask;
82 vcpu->evtchn_upcall_mask = 1;
86 vcpu->evtchn_upcall_mask = save;
113 if ( !vcpu_info->evtchn_upcall_mask )
/seL4-camkes-master/tools/rumprun/platform/xen/xen/include/mini-os/x86/
H A Dos.h80 _vcpu->evtchn_upcall_mask = 1; \
89 _vcpu->evtchn_upcall_mask = 0; \
99 (x) = _vcpu->evtchn_upcall_mask; \
107 if ((_vcpu->evtchn_upcall_mask = (x)) == 0) { \
120 (x) = _vcpu->evtchn_upcall_mask; \
121 _vcpu->evtchn_upcall_mask = 1; \
132 HYPERVISOR_shared_info->vcpu_info[smp_processor_id()].evtchn_upcall_mask
/seL4-camkes-master/tools/rumprun/platform/xen/xen/arch/x86/
H A Dx86_64.S47 #define evtchn_upcall_mask 1 define
134 #define XEN_LOCKED_BLOCK_EVENTS(reg) movb $1,evtchn_upcall_mask(reg)
135 #define XEN_LOCKED_UNBLOCK_EVENTS(reg) movb $0,evtchn_upcall_mask(reg)
191 andb evtchn_upcall_mask(%rsi),%al

Completed in 94 milliseconds