static int pte64_check (mmu_ctx_t *ctx,

                        target_ulong pte0, target_ulong pte1, int h, int rw)

{

    return _pte_check(ctx, 1, pte0, pte1, h, rw);

}

static int pte64_check (mmu_ctx_t *ctx,

                        target_ulong pte0, target_ulong pte1, int h, int rw)

{

    return _pte_check(ctx, 1, pte0, pte1, h, rw);

}

static int FUNC_0 (mmu_ctx_t *VAR_0,

                        target_ulong VAR_1, target_ulong VAR_2, int VAR_3, int VAR_4)

{

    return _pte_check(VAR_0, 1, VAR_1, VAR_2, VAR_3, VAR_4);

}

static int FUNC_0 (mmu_ctx_t *VAR_0,
target_ulong VAR_1, target_ulong VAR_2, int VAR_3, int VAR_4)
{ return _pte_check(VAR_0, 1, VAR_1, VAR_2, VAR_3, VAR_4); }