get_hrestime
extern hrtime_t get_hrestime(void);
(void (*)())(uintptr_t)get_hrestime, /* T_GETHRESTIME */