fdf_sys

Constant ZX_KOID_KERNEL

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