/* Copyright holders: Tenshi
see COPYING for more details
*/
void do_seg_load(x86seg *s, uint16_t *segdat);