Revision e5924d89 hw/xen_backend.h

b/hw/xen_backend.h
84 84
void xen_be_unbind_evtchn(struct XenDevice *xendev);
85 85
int xen_be_send_notify(struct XenDevice *xendev);
86 86
void xen_be_printf(struct XenDevice *xendev, int msg_level, const char *fmt, ...)
87
    __attribute__ ((format(printf, 3, 4)));
87
    GCC_FMT_ATTR(3, 4);
88 88

  
89 89
/* actual backend drivers */
90 90
extern struct XenDevOps xen_console_ops;      /* xen_console.c     */

Also available in: Unified diff