Defined in 4 files as a macro:
- sys/xen/interface/arch-arm.h, line 172 (as a macro)
- sys/xen/interface/arch-x86/xen-x86_32.h, line 97 (as a macro)
- sys/xen/interface/arch-x86/xen.h, line 34 (as a macro)
- sys/xen/interface/arch-x86/xen.h, line 37 (as a macro)