Symbol: vmclock_abi