static inline void load_seg_cache_raw_dt(SegmentCache *sc, uint32_t e1, uint32_t e2)

{

    sc->base = get_seg_base(e1, e2);

    sc->limit = get_seg_limit(e1, e2);

    sc->flags = e2;

}

static inline void load_seg_cache_raw_dt(SegmentCache *sc, uint32_t e1, uint32_t e2)

{

    sc->base = get_seg_base(e1, e2);

    sc->limit = get_seg_limit(e1, e2);

    sc->flags = e2;

}

static inline void FUNC_0(SegmentCache *VAR_0, uint32_t VAR_1, uint32_t VAR_2)

{

    VAR_0->base = get_seg_base(VAR_1, VAR_2);

    VAR_0->limit = get_seg_limit(VAR_1, VAR_2);

    VAR_0->flags = VAR_2;

}

static inline void FUNC_0(SegmentCache *VAR_0, uint32_t VAR_1, uint32_t VAR_2)
{ VAR_0->base = get_seg_base(VAR_1, VAR_2); VAR_0->limit = get_seg_limit(VAR_1, VAR_2); VAR_0->flags = VAR_2; }