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