RUMP_SYS_RENAME_GETVFSSTAT
int rump_sys_getvfsstat(struct statvfs *, size_t, int) __RENAME(RUMP_SYS_RENAME_GETVFSSTAT);
#ifndef RUMP_SYS_RENAME_GETVFSSTAT