Searched refs:TLBI_TTL_TG_4K (Results 1 – 2 of 2) sorted by relevance
73 #define TLBI_TTL_TG_4K 1 macro81 return TLBI_TTL_TG_4K; in get_trans_granule()
359 case TLBI_TTL_TG_4K: in ttl_to_size()423 ttl = (TLBI_TTL_TG_4K << 2); in get_guest_mapping_ttl()