Line 58:
Line 58:
| <code>void OSDumpContext(OSContext *ctx)</code>
| <code>void OSDumpContext(OSContext *ctx)</code>
| Prints all saved registers in <code>ctx</code>.
| Prints all saved registers in <code>ctx</code>.
+
|-
+
| OSReport
+
| <code>void OSReport(char *format, ...)
+
| Calls <code>vprintf</code>; the formatted text gets sent through some [[MetroTRK]]-related SerialIO port
+
|-
+
| OSPanic
+
| <code>void OSPanic(char *sourceFile, int lineNo, char *format, ...)
+
| Prints the message similar to <code>OSReport</code>, then prints the crash location and a stack trace.
|-
|-
| OSDisableInterrupts
| OSDisableInterrupts