xen_pvh_setup_gsi
int xen_pvh_setup_gsi(int gsi, int trigger, int polarity)
static inline int xen_pvh_setup_gsi(int gsi, int trigger, int polarity)