RUMP_SYS_RENAME_FLOCK
#ifndef RUMP_SYS_RENAME_FLOCK
int rump_sys_flock(int, int) __RENAME(RUMP_SYS_RENAME_FLOCK);