Symbol: rump_cpu_makeclockframe
sys/rump/librump/rumpkern/arch/generic/rump_generic_cpu.c
56
rump_cpu_makeclockframe(void)
sys/rump/librump/rumpkern/arch/x86/rump_x86_cpu.c
89
rump_cpu_makeclockframe(void)