VSTOPEI
Read / claimRead format is bits 26:16 interrupt identity and bits 10:0 interrupt priority (same as identity), with all other bits zero; a zero read means no external interrupt satisfies pending, enabled, and threshold conditions.
VSTOPEI (bits VSXLEN-1:0) — Read format is bits 26:16 interrupt identity and bits 10:0 interrupt priority (same as identity), with all other bits zero; a zero read means no external interrupt satisfies pending, enabled, and threshold conditions.
What This Field Controls
- - Read format is bits 26:16 interrupt identity and bits 10:0 interrupt priority (same as identity), with all other bits zero; a zero read means no external interrupt satisfies pending, enabled, and threshold conditions.
Common Values
No external interrupt in the guest interrupt file is both pending and enabled, or eithreshold is nonzero and no interrupt identity is below the threshold.
Bits 26:16 report the external interrupt minor identity; bits 10:0 report the same value as priority. Writing vstopei ignores the written value and claims the pending bit selected by the current readable value.