os_falloc_punch  1554 arch/um/drivers/ubd_kern.c 			n = os_falloc_punch(req->fds[bit], off, len);
os_falloc_punch   180 arch/um/include/shared/os.h extern int os_falloc_punch(int fd, unsigned long long offset, int count);