Searched refs:os_drop_memory (Results 1 – 3 of 3) sorted by relevance
179 int os_drop_memory(void *addr, int length) in os_drop_memory() function
212 extern int os_drop_memory(void *addr, int length);
362 err = os_drop_memory(addr, PAGE_SIZE); in mem_config()