Symbol: vmclock_get_crosststamp