OS_ID_LINUX
case OS_ID_LINUX: return "Linux";
u32 osid = (OS_ID_LINUX << 16);
if (unlikely(pdcs_osid != OS_ID_LINUX))