Symbol: rumpuser_getfileinfo