Introduce a pagefault reason, to help distingush different faults

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
CA-113568: Allow full Xen per-pcpu stacks to be dumped.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
Tweak symbol printing code.

Make is_text_symbol() public and introduce print_text_symbol() for printing
just the "name+offset/length" part of a symbol.

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
CA-113568: Include text symbols and stack pointers in stack dumps

Signed-off-by: Andrew Cooper <andrew.cooper3@citrix.com>
CA-114667 - Display domain and vcpu pause counts