78 vm_offset_t dcache_wb_pou_checked(vm_offset_t, vm_size_t);
79 vm_offset_t icache_inv_pou_checked(vm_offset_t, vm_size_t);
337 tlb_flush_local(vm_offset_t va)  in tlb_flush_local()
349 tlb_flush_range_local(vm_offset_t va, vm_size_t size)  in tlb_flush_range_local()
351 	vm_offset_t eva = va + size;  in tlb_flush_range_local()
391 tlb_flush(vm_offset_t va)  in tlb_flush()
405 tlb_flush_range(vm_offset_t va,  vm_size_t size)  in tlb_flush_range()
407 	vm_offset_t eva = va + size;  in tlb_flush_range()
441 icache_sync(vm_offset_t va, vm_size_t size)  in icache_sync()
443 	vm_offset_t eva = va + size;  in icache_sync()
488 dcache_wb_pou(vm_offset_t va, vm_size_t size)  in dcache_wb_pou()
490 	vm_offset_t eva = va + size;  in dcache_wb_pou()
509 dcache_inv_poc(vm_offset_t va, vm_paddr_t pa, vm_size_t size)  in dcache_inv_poc()
511 	vm_offset_t eva = va + size;  in dcache_inv_poc()
536 dcache_inv_poc_dma(vm_offset_t va, vm_paddr_t pa, vm_size_t size)  in dcache_inv_poc_dma()
538 	vm_offset_t eva = va + size;  in dcache_inv_poc_dma()
560 dcache_wb_poc(vm_offset_t va, vm_paddr_t pa, vm_size_t size)  in dcache_wb_poc()
562 	vm_offset_t eva = va + size;  in dcache_wb_poc()
576 dcache_wbinv_poc(vm_offset_t sva, vm_paddr_t pa, vm_size_t size)  in dcache_wbinv_poc()
578 	vm_offset_t va;  in dcache_wbinv_poc()
579 	vm_offset_t eva = sva + size;  in dcache_wbinv_poc()
624 cp15_ats1cpr_check(vm_offset_t addr)  in cp15_ats1cpr_check()
633 cp15_ats1cpw_check(vm_offset_t addr)  in cp15_ats1cpw_check()
642 cp15_ats1cur_check(vm_offset_t addr)  in cp15_ats1cur_check()
651 cp15_ats1cuw_check(vm_offset_t addr)  in cp15_ats1cuw_check()
701 extern vm_offset_t vector_page;
714 	vm_offset_t	abp_physaddr;	/* The kernel physical address */
715 	vm_offset_t	abp_pagetable;	/* The early page table */
718 void	arm_vector_init(vm_offset_t, int);