static void guest_file_init(void)

{

    QTAILQ_INIT(&guest_file_state.filehandles);

}

static void guest_file_init(void)

{

    QTAILQ_INIT(&guest_file_state.filehandles);

}

static void FUNC_0(void)

{

    QTAILQ_INIT(&guest_file_state.filehandles);

}

static void FUNC_0(void)
{ QTAILQ_INIT(&guest_file_state.filehandles); }