/sys/rump/include/machine/
../
cpu.h
cpu_counter.h
intr.h
pmap.h