TCP Pacing system (HPTS) is missing an API

Recent changes to HPTS have broken an API that was somehow removed (used by user space programs for
time calculations). This commit will add back the inline function that was removed.

Differential Revision:https://reviews.freebsd.org/D53225