Defined in 3 files as a typedef:
- sys/external/mit/xen-include-public/dist/xen/include/public/arch-arm.h, line 331 (as a typedef)
- sys/external/mit/xen-include-public/dist/xen/include/public/arch-x86/xen-x86_32.h, line 174 (as a typedef)
- sys/external/mit/xen-include-public/dist/xen/include/public/arch-x86/xen-x86_64.h, line 225 (as a typedef)