os_drop_memory
err = os_drop_memory(addr, PAGE_SIZE);
extern int os_drop_memory(void *addr, int length);