Constant DUMP_HANDLE_FLAG_KERNEL_TABLE

pub const DUMP_HANDLE_FLAG_KERNEL_TABLE: u32 = 16u32;