Searched refs:os_unmap_memory (Results 1 – 3 of 3) sorted by relevance
328 err = os_unmap_memory((void *) addr, in flush_tlb_kernel_range_common()345 err = os_unmap_memory((void *) addr, in flush_tlb_kernel_range_common()362 err = os_unmap_memory((void *) addr, in flush_tlb_kernel_range_common()375 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
204 extern int os_unmap_memory(void *addr, int len);
