TLBI_TTL_TG_16K
return TLBI_TTL_TG_16K;
case TLBI_TTL_TG_16K:
ttl = TLBI_TTL_TG_16K;
ttl = (TLBI_TTL_TG_16K << 2);