Searched refs:os_unmap_memory (Results 1 – 3 of 3) sorted by relevance
309 err = os_unmap_memory((void *) addr, in flush_tlb_kernel_range_common()326 err = os_unmap_memory((void *) addr, in flush_tlb_kernel_range_common()343 err = os_unmap_memory((void *) addr, in flush_tlb_kernel_range_common()356 err = os_unmap_memory((void *) addr, in flush_tlb_kernel_range_common()
174 int os_unmap_memory(void *addr, int len) in os_unmap_memory() function
200 extern int os_unmap_memory(void *addr, int len);