xen_sys

Constant FLASK_DISABLE

Source
pub const FLASK_DISABLE: u32 = 15;