get_gseg_base_address
return (void *)(get_gseg_base_address(base, ctxnum) + GRU_DS_BASE +
return (void *)(get_gseg_base_address(base, ctxnum) +