rump prototypes
rump kernel definitions