Constant INVALID_KERNEL_HANDLE 

pub const INVALID_KERNEL_HANDLE: BUGCHECK_ERROR;