Constant ZX_KOID_KERNEL 

pub const ZX_KOID_KERNEL: u64 = 1 /* 1u64 */;