Constant VDM_KGDT_R3_CODE

pub const VDM_KGDT_R3_CODE: u32 = 24u32;