We don't currently have much concept of wallclock time on ARM (for
either the hypervisor, dom0 or guests). For now just stub everything
out. Specifically domain_set_time_offset, update_vcpu_system_time and
wallclock_time.
Signed-off-by: Ian Campbell <ian.campbell@citrix.com>
Acked-by: Tim Deegan <tim@xen.org>
Acked-by: Stefano Stabellini <stefano.stabellini@eu.citrix.com>
`
Committed-by: Ian Campbell <ian.campbell@citrix.com>
/* PIRQ support */
DUMMY(nr_irqs_gsi);
-/* VCPU */
-NOP(update_vcpu_system_time);
-
/* Grant Tables */
DUMMY(steal_page);
/* Other */
DUMMY(domain_get_maximum_gpfn);
DUMMY(domain_relinquish_resources);
-DUMMY(domain_set_time_offset);
DUMMY(dom_cow);
DUMMY(send_timer_event);
DUMMY(share_xen_page_with_privileged_guests);
-DUMMY(wallclock_time);
#include <xen/mm.h>
#include <xen/softirq.h>
#include <xen/time.h>
+#include <xen/sched.h>
#include <asm/system.h>
/*
isb();
}
+/* VCPU PV clock. */
+void update_vcpu_system_time(struct vcpu *v)
+{
+ /* XXX update shared_info->wc_* */
+}
+
+void domain_set_time_offset(struct domain *d, int32_t time_offset_seconds)
+{
+ d->time_offset_seconds = time_offset_seconds;
+ /* XXX update guest visible wallclock time */
+}
+
+struct tm wallclock_time(void)
+{
+ return (struct tm) { 0 };
+}
+
/*
* Local variables:
* mode: C