gdt_eval_mapping
gdt_eval_mapping(sc->sc_hdr[i].hd_size,
void gdt_eval_mapping(u_int32_t, int *, int *, int *);