__do_adjtimex
ret = __do_adjtimex(&tk_core, txc, &result);
return __do_adjtimex(aux_tkd, txc, &result);