pub const DRVO_BOOTREINIT_REGISTERED: u32 = 32u32;