pub const VIRQ_DOM_EXC: u32 = 3;