static int find_pte32 (mmu_ctx_t *ctx, int h, int rw)

{

    return _find_pte(ctx, 0, h, rw);

}

static int find_pte32 (mmu_ctx_t *ctx, int h, int rw)

{

    return _find_pte(ctx, 0, h, rw);

}

static int FUNC_0 (mmu_ctx_t *VAR_0, int VAR_1, int VAR_2)

{

    return _find_pte(VAR_0, 0, VAR_1, VAR_2);

}

static int FUNC_0 (mmu_ctx_t *VAR_0, int VAR_1, int VAR_2)
{ return _find_pte(VAR_0, 0, VAR_1, VAR_2); }