Constant simics_api_sys::KBD_NUMLOCK_OFF

pub const KBD_NUMLOCK_OFF: u32 = 3;