vcpu-ms

A timestamp in milliseconds.

type vcpu-ms = u64;