Searched refs:VTCR_EL2_TG0_4K (Results 1 – 2 of 2) sorted by relevance
131 #define VTCR_EL2_TG0_4K TCR_TG0_4K macro205 #define VTCR_EL2_TGRAN VTCR_EL2_TG0_4K
310 case VTCR_EL2_TG0_4K: in vtcr_to_walk_info()422 case VTCR_EL2_TG0_4K: in get_guest_mapping_ttl()439 case VTCR_EL2_TG0_4K: in get_guest_mapping_ttl()502 case VTCR_EL2_TG0_4K: in compute_tlb_inval_range()