RTMachine is located in:

• m3core/src/runtime/common/RTMachine.i3
• m3core/src/runtime/AMD64_LINUX/RTMachine.i3