Debugging Output

Debugging output is sent through the host OS via functions in the os_hooks structure. These functions have various wrappers of the form Print*, with printf-style semantics.

Two functions of note are PrintDebug and PrintError.

• PrintDebug:
  Should be used for debugging output that will often be turned off selectively by the VMM configuration.

• PrintError
  Should be used when an error occurs, this will never be optimized out and will always print.