decode_range_tlbi
scope->va = decode_range_tlbi(val, &scope->size, &scope->asid);
scope->va = decode_range_tlbi(val, &scope->size, NULL);
base = decode_range_tlbi(p->regval, &range, NULL);