__platform_mask_index
const unsigned int pi = __platform_mask_index(info, p);
const unsigned int pi = __platform_mask_index(info, p);
const unsigned int pi = __platform_mask_index(info, p);
const unsigned int pi = __platform_mask_index(rinfo, info->platform);