Searched refs:evtchn_upcall_mask (Results 1 – 10 of 10) sorted by relevance
| /xen-4.10.0-shim-comet/xen/include/asm-x86/ |
| A D | event.h | 19 return !vcpu_info(v, evtchn_upcall_mask); in vcpu_event_delivery_is_enabled()
31 !vcpu_info(v, evtchn_upcall_mask))); in local_events_need_delivery()
36 vcpu_info(current, evtchn_upcall_mask) = 1; in local_event_delivery_disable()
41 vcpu_info(current, evtchn_upcall_mask) = 0; in local_event_delivery_enable()
|
| /xen-4.10.0-shim-comet/xen/arch/x86/pv/ |
| A D | iret.c | 77 vcpu_info(v, evtchn_upcall_mask) = !(iret_saved.rflags & X86_EFLAGS_IF); in do_iret()
198 vcpu_info(v, evtchn_upcall_mask) = !(eflags & X86_EFLAGS_IF); in compat_iret()
|
| A D | dom0_build.c | 702 shared_info(d, vcpu_info[i].evtchn_upcall_mask) = 1; in dom0_construct_pv()
|
| A D | emul-priv-op.c | 1343 if ( vcpu_info(curr, evtchn_upcall_mask) ) in pv_emulate_privileged_op()
|
| /xen-4.10.0-shim-comet/xen/arch/x86/x86_64/ |
| A D | asm-offsets.c | 129 OFFSET(VCPUINFO_upcall_mask, struct vcpu_info, evtchn_upcall_mask); in __dummy__()
133 OFFSET(COMPAT_VCPUINFO_upcall_mask, struct compat_vcpu_info, evtchn_upcall_mask); in __dummy__()
|
| A D | traps.c | 70 printk("EM: %d ", !!vcpu_info(v, evtchn_upcall_mask)); in _show_registers()
|
| /xen-4.10.0-shim-comet/xen/arch/x86/ |
| A D | domain.c | 1355 rflags |= !vcpu_info(n, evtchn_upcall_mask) << 9; in load_segments()
1368 ((unsigned int)vcpu_info(n, evtchn_upcall_mask) << 16); in load_segments()
1392 vcpu_info(n, evtchn_upcall_mask) = 1; in load_segments()
1411 ((unsigned long)vcpu_info(n, evtchn_upcall_mask) << 32); in load_segments()
1431 vcpu_info(n, evtchn_upcall_mask) = 1; in load_segments()
|
| /xen-4.10.0-shim-comet/xen/include/public/ |
| A D | xen.h | 683 uint8_t evtchn_upcall_mask; member
|
| /xen-4.10.0-shim-comet/tools/libxc/ |
| A D | xc_dom_x86.c | 820 shared_info->vcpu_info[i].evtchn_upcall_mask = 1; in shared_info_x86_32()
833 shared_info->vcpu_info[i].evtchn_upcall_mask = 1; in shared_info_x86_64()
|
| /xen-4.10.0-shim-comet/xen/common/ |
| A D | domain.c | 1205 __vcpu_info(v, new_info, evtchn_upcall_mask) = 1; in map_vcpu_info()
|
Completed in 21 milliseconds