Constant VDM_KGDT_R3_CODE 

pub const VDM_KGDT_R3_CODE: u32 = 24u32;