Constant ZX_KOID_KERNEL 

pub const ZX_KOID_KERNEL: zx_koid_t = 1;