static int get_S2prot(CPUARMState *env, int s2ap, int xn)

{

    int prot = 0;



    if (s2ap & 1) {

        prot |= PAGE_READ;

    }

    if (s2ap & 2) {

        prot |= PAGE_WRITE;

    }

    if (!xn) {

        prot |= PAGE_EXEC;

    }

    return prot;

}

static int get_S2prot(CPUARMState *env, int s2ap, int xn)

{

    int prot = 0;



    if (s2ap & 1) {

        prot |= PAGE_READ;

    }

    if (s2ap & 2) {

        prot |= PAGE_WRITE;

    }

    if (!xn) {

        prot |= PAGE_EXEC;

    }

    return prot;

}

        prot |= PAGE_EXEC;
static int FUNC_0(CPUARMState *VAR_0, int VAR_1, int VAR_2)

{

    int VAR_3 = 0;



    if (VAR_1 & 1) {

        VAR_3 |= PAGE_READ;

    }

    if (VAR_1 & 2) {

        VAR_3 |= PAGE_WRITE;

    }

    if (!VAR_2) {

        VAR_3 |= PAGE_EXEC;

    }

    return VAR_3;

}

static int FUNC_0(CPUARMState *VAR_0, int VAR_1, int VAR_2)
{ int VAR_3 = 0; if (VAR_1 & 1) { VAR_3 |= PAGE_READ; } if (VAR_1 & 2) { VAR_3 |= PAGE_WRITE; } if (!VAR_2) { VAR_3 |= PAGE_EXEC; } return VAR_3; }