pub const SYSTEM_INTERRUPT_KW_CLOCK_INTERRUPT: u64 = 2u64;