Lines Matching +full:sense +full:- +full:edge +full:- +full:mask

1 /* SPDX-License-Identifier: MIT */
33 #include "arch-arm.h"
178  * DOMID_IO is used to restrict page-table updates to mapping I/O memory.
182  * aren't adjusted on the I/O-mapping code path).
183  * This only makes sense as HYPERVISOR_mmu_update()'s and
193  * This only makes sense as
194  * - HYPERVISOR_mmu_update()'s, HYPERVISOR_mmuext_op()'s, or
196  * - with XENMAPSPACE_gmfn_foreign,
212 /* Mask for valid domain id values */
221  * Event channel endpoints per domain (when using the 2-level ABI):
231 	 * looking for changes to 'version'. If the least-significant bit of
245 	 *   ((((tsc - tsc_timestamp) << tsc_shift) * tsc_to_system_mul) >> 32)
265 	 * 'evtchn_upcall_pending' is written non-zero by Xen to indicate
268 	 * a set-and-check race. Note that the mask is only accessed by Xen
270 	 * pending and mask flags can be updated by the guest without special
273 	 * a different CPU then an IPI may be scheduled even when the mask
275 	 *  1. The task of 'interrupt holdoff' is covered by the per-event-
276 	 *     channel mask bits. A 'noisy' event that is continually being
279 	 *  2. The main purpose of the per-VCPU mask is therefore to restrict
282 	 *     that the mask will be asserted only for short periods at a time,
284 	 * The mask is read before making an event upcall to the guest: a
285 	 * non-zero mask therefore guarantees that the VCPU will not receive
286 	 * an upcall activation. The mask is cleared when the VCPU requests
287 	 * to block: this avoids wakeup-waiting races.
304  * `incontents 200 startofday_shared Start-of-day shared data structure
305  * Xen/kernel shared data -- pointer provided in start_info.
319 	 *  1. Bi-directional inter- and intra-domain connections. Domains must
320 	 *     arrange out-of-band to set up a connection (usually by allocating
323 	 *  2. Physical interrupts. A domain with suitable hardware-access
324 	 *     privileges can bind an event-channel port to a physical interrupt
326 	 *  3. Virtual interrupts ('events'). A domain can bind an event-channel
327 	 *     port to a virtual interrupt source, such as the virtual-timer
332 	 *  1. PENDING -- notifies the domain that there is a pending notification
334 	 *  2. MASK -- if this bit is clear then a 0->1 transition of PENDING
336 	 *     updated by the guest. It is read-only within Xen. If a channel
337 	 *     becomes pending while the channel is masked then the 'edge' is lost
341 	 * To expedite scanning of pending notifications, any 0->1 pending
343 	 * per-vcpu selector word to be set. Each bit in the selector covers a
352 	 * wallclock-base value.