static inline int sd_wp_addr(SDState *sd, uint32_t addr)

{

    return sd->wp_groups[addr >>

            (HWBLOCK_SHIFT + SECTOR_SHIFT + WPGROUP_SHIFT)];

}

static inline int sd_wp_addr(SDState *sd, uint32_t addr)

{

    return sd->wp_groups[addr >>

            (HWBLOCK_SHIFT + SECTOR_SHIFT + WPGROUP_SHIFT)];

}

static inline int FUNC_0(SDState *VAR_0, uint32_t VAR_1)

{

    return VAR_0->wp_groups[VAR_1 >>

            (HWBLOCK_SHIFT + SECTOR_SHIFT + WPGROUP_SHIFT)];

}

static inline int FUNC_0(SDState *VAR_0, uint32_t VAR_1)
{ return VAR_0->wp_groups[VAR_1 >>
(HWBLOCK_SHIFT + SECTOR_SHIFT + WPGROUP_SHIFT)]; }