Hi Ian, On 15/01/15 10:26, Ian Campbell wrote: > I'm looking into the vtimer masking and ctxt switching the irq state > now, once I've got that going exposing the ptimer directly to guests > ought to be pretty simple.
I don't think we can expose directly the physical timer to the guest. If the guest tries to read CNTPCT_EL0, it will read the number of ticks since the host is up. Regards, -- Julien Grall _______________________________________________ Xen-devel mailing list Xen-devel@lists.xen.org http://lists.xen.org/xen-devel
