__platform_mask_bit
const unsigned int pb = __platform_mask_bit(info, p);
const unsigned int pb = __platform_mask_bit(rinfo, info->platform);