Xen ARM DEBUG hypercalls

If you are trying to DEBUG early boot code in your guest kernel, either Dom0 or DomU, you might find the Xen on ARM DEBUG hypercalls useful. They are only available to DEBUG builds, i.e. builds with Debugging Options ---> Developer Checks enabled.

Simply add one of the following hvc instructions to your code, and Xen will print something on the console for you:

 hvc 0xfffd

prints the program counter

 hvc 0xfffe

prints first byte of register x0

 hvc 0xffff

prints all registers and stack of the guest

 hvc 0xffe0-0xffef

prints program counter and a register: e0 prints x0, e1 prints x1, etc.