GDT_S_INFO
bus_space_write_4(dpmemt, dpmemh, GDT_MPR_IC + GDT_S_INFO,
GDT_MPR_IC + GDT_S_INFO);
bus_space_write_4(dpmemt, dpmemh, GDT_MPR_IC + GDT_S_INFO, 0);
GDT_MPR_IC + GDT_S_INFO + sizeof (u_int32_t), 0);
GDT_MPR_IC + GDT_S_INFO + 2 * sizeof (u_int32_t), 1);
GDT_MPR_IC + GDT_S_INFO + 3 * sizeof (u_int32_t), 0);