Searched defs:tte_hi (Results 1 – 3 of 3) sorted by relevance
301 uint32_t tte_hi; /* higher 32 bites of tte */ member
253 uint32_t tte_hi; /* higher 32 bites of tte */ member
211 uint32_t tte_hi; /* higher 32 bites of tte */ member