linux_to_bsd_semid64_ds
linux_to_bsd_semid64_ds(&lsembuf64, &sembuf);
void linux_to_bsd_semid64_ds(struct linux_semid64_ds *, struct semid_ds *);