portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions

arm-hyp: read inactive cntv_ctl from saved context

Browse source 
Like SCTLR, CNTV_CTL is switched to/from hardware when we enable/disable
the VCPU, so it must be read from a saved VCPU context when that VCPU
isn't active.

Signed-off-by: Nick Spinale <nick@nickspinale.com>
This commit is contained in:
Nick Spinale 2020-02-27 16:38:11 +00:00 committed by Gerwin Klein
parent 6477781221
commit 7bb2717e41
1 changed files with 1 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

1
include/arch/arm/armv/armv8-a/64/armv/vcpu.h
View file

@ -664,6 +664,7 @@ static inline bool_t vcpu_reg_saved_when_disabled(word_t field)
{
switch (field) {
case seL4_VCPUReg_SCTLR:
case seL4_VCPUReg_CNTV_CTL:
#ifdef CONFIG_HAVE_FPU
case seL4_VCPUReg_CPACR:
#endif