hyp_getpid
p = rumpuser__hyp.hyp_getpid();
pid_t (*hyp_getpid)(void);
rump_sysproxy_ops.rspo_hyp_getpid = hyp_getpid;
.hyp_getpid = rspo_wrap_getpid,