Re: [Xen-devel] [PATCH 18/24] PVH xen: Checks, asserts, and limitations for PVH

["Jan Beulich" <JBeulich@xxxxxxxx>]

>>> On 18.07.13 at 04:33, Mukesh Rathor <mukesh.rathor@xxxxxxxxxx> wrote:
> --- a/xen/arch/x86/traps.c
> +++ b/xen/arch/x86/traps.c
> @@ -2710,6 +2710,8 @@ static void emulate_gate_op(struct cpu_user_regs *regs)
>      unsigned long off, eip, opnd_off, base, limit;
>      int jump;
>  
> +    ASSERT(!is_pvh_vcpu(v));
> +
>      /* Check whether this fault is due to the use of a call gate. */
>      if ( !read_gate_descriptor(regs->error_code, v, &sel, &off, &ar) ||
>           (((ar >> 13) & 3) < (regs->cs & 3)) ||
> @@ -3326,6 +3328,8 @@ void do_device_not_available(struct cpu_user_regs *regs)
>  
>      BUG_ON(!guest_mode(regs));
>  
> +    ASSERT(!is_pvh_vcpu(curr));
> +
>      vcpu_restore_fpu_lazy(curr);
>  
>      if ( curr->arch.pv_vcpu.ctrlreg[0] & X86_CR0_TS )

I'm pretty sure I said this before: These assertions are bogus:
Either drop them, or make them

    ASSERT(is_pv_vcpu(...));

Jan


_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxx
http://lists.xen.org/xen-devel