0 /* These fields must be initialized by the driver. */ /* active timecounter */