Searched refs:os_unmap_memory (Results 1 – 3 of 3) sorted by relevance
317 err = os_unmap_memory((void *) addr, in flush_tlb_kernel_range_common()334 err = os_unmap_memory((void *) addr, in flush_tlb_kernel_range_common()351 err = os_unmap_memory((void *) addr, in flush_tlb_kernel_range_common()364 err = os_unmap_memory((void *) addr, in flush_tlb_kernel_range_common()
159 int os_unmap_memory(void *addr, int len) in os_unmap_memory() function
199 extern int os_unmap_memory(void *addr, int len);