Lines Matching +full:wakeup +full:- +full:source +full:- +full:id

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).
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
275 	 *  1. The task of 'interrupt holdoff' is covered by the per-event-
277 	 *     triggered can be masked at source at this very precise
279 	 *  2. The main purpose of the per-VCPU mask is therefore to restrict
285 	 * non-zero mask therefore guarantees that the VCPU will not receive
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
325 	 *     source.
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
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.