os_unmap_memory   210 arch/um/include/shared/os.h extern int os_unmap_memory(void *addr, int len);
os_unmap_memory    90 arch/um/kernel/tlb.c 				ret = os_unmap_memory(