semotime         1219 ipc/sem.c      	time64_t semotime;
semotime         1261 ipc/sem.c      	semotime = get_semotime(sma);
semotime         1262 ipc/sem.c      	semid64->sem_otime = semotime;
semotime         1265 ipc/sem.c      	semid64->sem_otime_high = semotime >> 32;