RUMP_SYS_RENAME_SYNC
#ifndef RUMP_SYS_RENAME_SYNC
void rump_sys_sync(void) __RENAME(RUMP_SYS_RENAME_SYNC);