pub const VIRQ_DEBUGGER: u32 = 6;