>>> On 26.02.18 at 18:35, wrote:
> This is in preparation to make hvm_x2apic_msr_read() take a const vcpu
> pointer. One modification is to alter vlapic_get_tmcct() to not use
> current.
>
> This in turn needs an alteration to hvm_get_guest_time_fixed(), which is safe
> because the only mutable
On Mon, Feb 26, 2018 at 05:35:17PM +, Andrew Cooper wrote:
> This is in preparation to make hvm_x2apic_msr_read() take a const vcpu
> pointer. One modification is to alter vlapic_get_tmcct() to not use current.
>
> This in turn needs an alteration to hvm_get_guest_time_fixed(), which is safe
This is in preparation to make hvm_x2apic_msr_read() take a const vcpu
pointer. One modification is to alter vlapic_get_tmcct() to not use current.
This in turn needs an alteration to hvm_get_guest_time_fixed(), which is safe
because the only mutable action it makes is to take the domain plt lock
