kos_sys::os::dbgio

Constant DBGIO_MODE_IRQ

Source 
pub const DBGIO_MODE_IRQ: c_int = 1;