| H A D | cpu.h | 337 tlb_flush_local(vm_offset_t va) in _WF0()
340 KASSERT((va & PAGE_MASK) == 0, ("%s: va %#x not aligned", __func__, va)); in _WF0()
343 _CP15_TLBIMVA(va | CPU_ASID_KERNEL);
349 tlb_flush_range_local(vm_offset_t va, vm_size_t size) in tlb_flush_all_ng_local()
351 vm_offset_t eva = va + size; in tlb_flush_all_ng_local()
353 KASSERT((va & PAGE_MASK) == 0, ("%s: va %#x not aligned", __func__, va));
356 tlb_flush_local(vm_offset_t va) tlb_flush_local() argument
368 tlb_flush_range_local(vm_offset_t va,vm_size_t size) tlb_flush_range_local() argument
410 tlb_flush(vm_offset_t va) tlb_flush() argument
424 tlb_flush_range(vm_offset_t va,vm_size_t size) tlb_flush_range() argument
449 tlb_flush(va) global() argument
450 tlb_flush_range(va,size) global() argument
460 icache_sync(vm_offset_t va,vm_size_t size) icache_sync() argument
511 dcache_wb_pou(vm_offset_t va,vm_size_t size) dcache_wb_pou() argument
536 dcache_inv_poc(vm_offset_t va,vm_paddr_t pa,vm_size_t size) dcache_inv_poc() argument
563 dcache_inv_poc_dma(vm_offset_t va,vm_paddr_t pa,vm_size_t size) dcache_inv_poc_dma() argument
587 dcache_wb_poc(vm_offset_t va,vm_paddr_t pa,vm_size_t size) dcache_wb_poc() argument
605 vm_offset_t va; dcache_wbinv_poc() local
[all...] |