Constant r_efi::system::TPL_HIGH_LEVEL

pub const TPL_HIGH_LEVEL: Tpl = 31;