linux_to_bsd_ioflags(int lflags)
linux_to_bsd_ioflags(lflags) int lflags;
linux_to_bsd_ioflags(int lflags){	int res = 0;	res |= cvtto_bsd_mask(lflags, LINUX_O_WRONLY, O_WRONLY);	res |= cvtto_bsd_mask(lflags, LINUX_O_RDONLY, O_RDONLY);	res |= cvtto_bsd_mask(lflags, LINUX_O_RDWR, O_RDWR);	res |= cvtto_bsd_mask(lflags, LINUX_O_CREAT, O_CREAT);	res |= cvtto_bsd_mask(lflags, LINUX_O_EXCL, O_EXCL);	res |= cvtto_bsd_mask(lflags, LINUX_O_NOCTTY, O_NOCTTY);	res |= cvtto_bsd_mask(lflags, LINUX_O_TRUNC, O_TRUNC);	res |= cvtto_bsd_mask(lflags, LINUX_O_NDELAY, O_NDELAY);	res |= cvtto_bsd_mask(lflags, LINUX_O_SYNC, O_FSYNC);	res |= cvtto_bsd_mask(lflags, LINUX_FASYNC, O_ASYNC);	res |= cvtto_bsd_mask(lflags, LINUX_O_APPEND, O_APPEND);	return res;}