Searched refs:xen_set_bit (Results 1 - 2 of 2) sorted by relevance

/freebsd-12-stable/sys/xen/
H A Dxen-os.h156 xen_set_bit(int bit, volatile long *addr) function
/freebsd-12-stable/sys/x86/xen/
H A Dxen_intr.c243 xen_set_bit(port, pcpu->evtchn_enabled);
1106 xen_set_bit(isrc->xi_pirq, xen_intr_pirq_eoi_map);

Completed in 59 milliseconds