root/sys/rump/librump/rumpkern/rumpkern_if_priv.h 
#include <rump-sys/kern_if.h>