Searched refs:TCR_IPS_42BITS (Results 1 – 1 of 1) sorted by relevance
1000 #define TCR_IPS_42BITS (3ULL << TCR_IPS_SHIFT) macro1120 #define TCR_IPS_VALUE TCR_IPS_42BITS