Searched refs:TLBI_TTL_TG_4K (Results 1 – 2 of 2) sorted by relevance
65 #define TLBI_TTL_TG_4K 1 macro73 return TLBI_TTL_TG_4K; in get_trans_granule()
520 case TLBI_TTL_TG_4K: in __ttl_to_size() 587 ttl = TLBI_TTL_TG_4K; in pgshift_level_to_ttl() 621 ttl = (TLBI_TTL_TG_4K << 2); in get_guest_mapping_ttl()