Constant XENPF_UCODE_FORCE

Source
pub const XENPF_UCODE_FORCE: u32 = 1;