KREG_GSBASE
{ "gsbase", KREG_GSBASE, MDB_TGT_R_EXPORT },
kregs[KREG_GS] & 0xffff, kregs[KREG_GSBASE], kregs[KREG_KGSBASE]);
gregs->kregs[KREG_GSBASE] = gs.vd_base;