Symbol: ksobj_get_hrtime