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