|
@@ -96,6 +96,8 @@ ENTRY(__guest_exit)
|
|
|
|
|
|
add x1, x1, #VCPU_CONTEXT
|
|
add x1, x1, #VCPU_CONTEXT
|
|
|
|
|
|
|
|
+ ALTERNATIVE(nop, SET_PSTATE_PAN(1), ARM64_HAS_PAN, CONFIG_ARM64_PAN)
|
|
|
|
+
|
|
// Store the guest regs x2 and x3
|
|
// Store the guest regs x2 and x3
|
|
stp x2, x3, [x1, #CPU_XREG_OFFSET(2)]
|
|
stp x2, x3, [x1, #CPU_XREG_OFFSET(2)]
|
|
|
|
|