OPT_IDB_OS

Constant OPT_IDB_OS 

Source
pub const OPT_IDB_OS: u32 = 12;