Constant consts_WAKE_STARVE_REFRESH_NS 

pub const consts_WAKE_STARVE_REFRESH_NS: consts = 12000000;