static void xenfb_copy_mfns(int mode, int count, unsigned long *dst, void *src)

{

    uint32_t *src32 = src;

    uint64_t *src64 = src;

    int i;



    for (i = 0; i < count; i++)

	dst[i] = (mode == 32) ? src32[i] : src64[i];

}

static void xenfb_copy_mfns(int mode, int count, unsigned long *dst, void *src)

{

    uint32_t *src32 = src;

    uint64_t *src64 = src;

    int i;



    for (i = 0; i < count; i++)

	dst[i] = (mode == 32) ? src32[i] : src64[i];

}

static void FUNC_0(int VAR_0, int VAR_1, unsigned long *VAR_2, void *VAR_3)

{

    uint32_t *src32 = VAR_3;

    uint64_t *src64 = VAR_3;

    int VAR_4;



    for (VAR_4 = 0; VAR_4 < VAR_1; VAR_4++)

	VAR_2[VAR_4] = (VAR_0 == 32) ? src32[VAR_4] : src64[VAR_4];

}

static void FUNC_0(int VAR_0, int VAR_1, unsigned long *VAR_2, void *VAR_3)
{ uint32_t *src32 = VAR_3; uint64_t *src64 = VAR_3; int VAR_4; for (VAR_4 = 0; VAR_4 < VAR_1; VAR_4++) VAR_2[VAR_4] = (VAR_0 == 32) ? src32[VAR_4] : src64[VAR_4]; }