static void rtce_init(VIOsPAPRDevice *dev)

{

    size_t size = (dev->rtce_window_size >> SPAPR_VIO_TCE_PAGE_SHIFT)

        * sizeof(VIOsPAPR_RTCE);



    if (size) {

        dev->rtce_table = g_malloc0(size);

    }

}

static void rtce_init(VIOsPAPRDevice *dev)

{

    size_t size = (dev->rtce_window_size >> SPAPR_VIO_TCE_PAGE_SHIFT)

        * sizeof(VIOsPAPR_RTCE);



    if (size) {

        dev->rtce_table = g_malloc0(size);

    }

}

static void FUNC_0(VIOsPAPRDevice *VAR_0)

{

    size_t size = (VAR_0->rtce_window_size >> SPAPR_VIO_TCE_PAGE_SHIFT)

        * sizeof(VIOsPAPR_RTCE);



    if (size) {

        VAR_0->rtce_table = g_malloc0(size);

    }

}

static void FUNC_0(VIOsPAPRDevice *VAR_0)
{ size_t size = (VAR_0->rtce_window_size >> SPAPR_VIO_TCE_PAGE_SHIFT)
* sizeof(VIOsPAPR_RTCE); if (size) { VAR_0->rtce_table = g_malloc0(size); } }