/* Xen IPI types */