gethrxtime: better 'inline'