RTMachine is located in:
m3core/src/runtime/FreeBSD4/RTMachine.i3
m3core/src/runtime/FreeBSD3/RTMachine.i3