Lines Matching defs:hi
84 static inline int __tlb_probe(uint64_t hi){
87 CVMX_MT_ENTRY_HIGH(hi);
125 uint64_t hi, uint64_t lo0,
135 "write TLB %d: hi %lx, lo0 %lx, lo1 %lx, pagemask %lx \n",
136 tlbi, hi, lo0, lo1, pagemask);
140 CVMX_MT_ENTRY_HIGH(hi);
188 uint32_t hi;
196 CVMX_MF_ENTRY_HIGH(hi);
206 width, (hi & ~0x1fffUL), hi & 0xff);
284 uint64_t lo0, lo1, hi, pagemask;
293 hi = ((vaddr - size) >> 12) << 12;
297 hi = ((vaddr) >> 12) << 12;
303 hi = ((vaddr) >> 12) << 12;
308 __tlb_write_index(index, hi, lo0, lo1, pagemask);
380 uint64_t hi= (vaddr >> 13 ) << 13; /* We always use ASID 0 */
382 return __tlb_probe(hi);