static always_inline target_phys_addr_t get_pgaddr (target_phys_addr_t sdr1,

                                                    int sdr_sh,

                                                    target_phys_addr_t hash,

                                                    target_phys_addr_t mask)

{

    return (sdr1 & ((target_ulong)(-1ULL) << sdr_sh)) | (hash & mask);

}

static always_inline target_phys_addr_t get_pgaddr (target_phys_addr_t sdr1,

                                                    int sdr_sh,

                                                    target_phys_addr_t hash,

                                                    target_phys_addr_t mask)

{

    return (sdr1 & ((target_ulong)(-1ULL) << sdr_sh)) | (hash & mask);

}

    return (sdr1 & ((target_ulong)(-1ULL) << sdr_sh)) | (hash & mask);
static always_inline VAR_0 get_pgaddr (VAR_0 sdr1,

                                                    int sdr_sh,

                                                    VAR_0 hash,

                                                    VAR_0 mask)

{

    return (sdr1 & ((target_ulong)(-1ULL) << sdr_sh)) | (hash & mask);

}

static always_inline VAR_0 get_pgaddr (VAR_0 sdr1,
int sdr_sh,
VAR_0 hash,
VAR_0 mask)
{ return (sdr1 & ((target_ulong)(-1ULL) << sdr_sh)) | (hash & mask); }