load_tsc_from_xtal sets TSC to an absolute value scaled from the xtal_value. The latter value is measured in units of always running timer clocks.
SIM_INTERFACE(tsc_update) { void (*load_tsc_from_xtal)(conf_object_t *obj, uint64 xtal_value); };