Lines Matching refs:uint64_t
84 static inline int __tlb_probe(uint64_t hi){
125 uint64_t hi, uint64_t lo0,
126 uint64_t lo1, uint64_t pagemask)
155 uint64_t lo0 = 0, lo1 = 0;
187 uint64_t lo0, lo1, pgmask;
282 void cvmx_tlb_write_entry(int index, uint64_t vaddr, uint64_t paddr,
283 uint64_t size, uint64_t tlb_flags) {
284 uint64_t lo0, lo1, hi, pagemask;
325 int cvmx_tlb_add_fixed_entry( uint64_t vaddr, uint64_t paddr, uint64_t size, uint64_t tlb_flags) {
327 uint64_t index;
357 void cvmx_tlb_write_runtime_entry(int index, uint64_t vaddr, uint64_t paddr,
358 uint64_t size, uint64_t tlb_flags)
379 int cvmx_tlb_lookup(uint64_t vaddr) {
380 uint64_t hi= (vaddr >> 13 ) << 13; /* We always use ASID 0 */