ROGUE_FW_MAX_NUM_OS
u32 osid_priority[ROGUE_FW_MAX_NUM_OS];
os_runtime_flags_mirror[ROGUE_FW_MAX_NUM_OS];