SCMI_MAX_TOKEN
BITSET_DEFINE(_scmi_tokens, SCMI_MAX_TOKEN);
BIT_FILL(SCMI_MAX_TOKEN, &trs->avail_tokens);
token = BIT_FFS_AT(SCMI_MAX_TOKEN, &sc->trs->avail_tokens, next_msg_id);
BIT_CLR(SCMI_MAX_TOKEN, token - 1, &sc->trs->avail_tokens);
if (BIT_ISSET(SCMI_MAX_TOKEN, candidate, &sc->trs->avail_tokens)) {
BIT_CLR(SCMI_MAX_TOKEN, candidate, &sc->trs->avail_tokens);
BIT_SET(SCMI_MAX_TOKEN, token, &sc->trs->avail_tokens);