static void xen_exit_notifier(Notifier *n, void *data)

{

    XenIOState *state = container_of(n, XenIOState, exit);



    xc_evtchn_close(state->xce_handle);

    xs_daemon_close(state->xenstore);

}

static void xen_exit_notifier(Notifier *n, void *data)

{

    XenIOState *state = container_of(n, XenIOState, exit);



    xc_evtchn_close(state->xce_handle);

    xs_daemon_close(state->xenstore);

}

static void FUNC_0(Notifier *VAR_0, void *VAR_1)

{

    XenIOState *state = container_of(VAR_0, XenIOState, exit);



    xc_evtchn_close(state->xce_handle);

    xs_daemon_close(state->xenstore);

}

static void FUNC_0(Notifier *VAR_0, void *VAR_1)
{ XenIOState *state = container_of(VAR_0, XenIOState, exit); xc_evtchn_close(state->xce_handle); xs_daemon_close(state->xenstore); }