Lines Matching +full:real +full:- +full:time
1 /* SPDX-License-Identifier: MIT */
14 * How should CPU0 event-channel notifications be delivered?
16 * If val == 0 then CPU0 event-channel notifications are not delivered.
42 * val[15:8] is interrupt flag of the PPI used by event-channel:
45 * val[7:0] is a PPI number used by event-channel.
63 * Do not advance a vcpu's time beyond the correct delivery time for
66 * time stepwise for each one.
68 * As above, missed interrupts are delivered, but guest time always tracks
69 * wallclock (i.e., real) time while doing so.
72 * delivered at some non-zero rate, if we detect missed ticks then the
77 * Guest time always tracks wallclock (i.e., real) time.
85 /* Boolean: Enable virtual HPET (high-precision event timer)? (x86-only) */
88 /* Identity-map page directory used by Intel EPT when CR0.PG=0. */