vm_rtc_gettime
error = vm_rtc_gettime(ctx, &ts);
int vm_rtc_gettime(struct vmctx *ctx, time_t *secs);
int vm_rtc_gettime(struct vmctx *ctx, timespec_t *);