os_drop_memory    354 arch/um/drivers/mconsole_kern.c 				err = os_drop_memory(addr, PAGE_SIZE);
os_drop_memory    211 arch/um/include/shared/os.h extern int os_drop_memory(void *addr, int length);