TLBI_TTL_MASK
FIELD_MODIFY(TLBI_TTL_MASK, &arg, ttl);
scope->size = ttl_to_size(FIELD_GET(TLBI_TTL_MASK, val));
scope->size = ttl_to_size(FIELD_GET(TLBI_TTL_MASK, val));
ttl = FIELD_GET(TLBI_TTL_MASK, val);