Re: [Xen-devel] [PATCH v2 0/2] Introduce runstate area registration with phys address

[Julien Grall <julien.grall@xxxxxxx>]

Hi,

On 5/8/19 5:01 PM, Andrii Anisov wrote:
> On 08.05.19 17:31, Julien Grall wrote:
> > I haven't seen them with nokpti platform so far. I am curious to know 
> > what is your configuration here.
> XEN 4.12 with our patches. Thin Dom0 is a generic armv8 Linux, LK 
> 4.14.75 with patches from Renesas and us.
> DomD is LK 4.14.75 with HW assigned and drivers. LK configs you can find 
> on my google drive [1].
> Those faults fire only for DomD (on its start).
>
> > vcpu_show_execution_state(current) should do the job here.
> Here it is:
>
> (XEN) d1v2 par 0x809
> (XEN) d1v2: Failed to walk page-table va 0xffff80002ff66357
> (XEN) *** Dumping Dom1 vcpu#2 state: ***
> (XEN) ----[ Xen-4.12.0  arm64  debug=n   Not tainted ]----
> (XEN) CPU:    2
> (XEN) PC:     0000ffffbd28dc88
> (XEN) LR:     0000ffffbd28e674
> (XEN) SP_EL0: 0000ffffe9890410
> (XEN) SP_EL1: ffff00000803c000
> (XEN) CPSR:   40000000 MODE:64-bit EL0t (Guest User)
This one is happening when the guest was running in user mode. Is it 
always the case?
Also, your DomD .config has CONFIG_UNMAP_KERNEL_AT_EL0. So how do you 
disable kpti?
Cheers,

--
Julien Grall

_______________________________________________
Xen-devel mailing list
Xen-devel@xxxxxxxxxxxxxxxxxxxx
https://lists.xenproject.org/mailman/listinfo/xen-devel