Searched refs:os_unmap_memory (Results 1 – 3 of 3) sorted by relevance
327 err = os_unmap_memory((void *) addr, in flush_tlb_kernel_range_common()344 err = os_unmap_memory((void *) addr, in flush_tlb_kernel_range_common()361 err = os_unmap_memory((void *) addr, in flush_tlb_kernel_range_common()374 err = os_unmap_memory((void *) addr, in flush_tlb_kernel_range_common()
165 int os_unmap_memory(void *addr, int len) in os_unmap_memory() function
202 extern int os_unmap_memory(void *addr, int len);