static const char *exynos4210_uart_regname(target_phys_addr_t  offset)

{



    int regs_number = sizeof(exynos4210_uart_regs) / sizeof(Exynos4210UartReg);

    int i;



    for (i = 0; i < regs_number; i++) {

        if (offset == exynos4210_uart_regs[i].offset) {

            return exynos4210_uart_regs[i].name;

        }

    }



    return NULL;

}

static const char *exynos4210_uart_regname(target_phys_addr_t  offset)

{



    int regs_number = sizeof(exynos4210_uart_regs) / sizeof(Exynos4210UartReg);

    int i;



    for (i = 0; i < regs_number; i++) {

        if (offset == exynos4210_uart_regs[i].offset) {

            return exynos4210_uart_regs[i].name;

        }

    }



    return NULL;

}

static const char *FUNC_0(target_phys_addr_t  VAR_0)

{



    int VAR_1 = sizeof(exynos4210_uart_regs) / sizeof(Exynos4210UartReg);

    int VAR_2;



    for (VAR_2 = 0; VAR_2 < VAR_1; VAR_2++) {

        if (VAR_0 == exynos4210_uart_regs[VAR_2].VAR_0) {

            return exynos4210_uart_regs[VAR_2].name;

        }

    }



    return NULL;

}

static const char *FUNC_0(target_phys_addr_t  VAR_0)
{ int VAR_1 = sizeof(exynos4210_uart_regs) / sizeof(Exynos4210UartReg); int VAR_2; for (VAR_2 = 0; VAR_2 < VAR_1; VAR_2++) { if (VAR_0 == exynos4210_uart_regs[VAR_2].VAR_0) { return exynos4210_uart_regs[VAR_2].name; } } return NULL; }