Symbol: rump_cpu_makeclockframe
sys/rump/include/rump-sys/kern.h
184
struct clockframe *rump_cpu_makeclockframe(void);
sys/rump/librump/rumpkern/intr.c
115
clkframe = rump_cpu_makeclockframe();