gcpu_xpv_panic_callback
extern void gcpu_xpv_panic_callback(void);
GCPU_OP(NULL, gcpu_xpv_panic_callback), /* cmi_panic_callback */
