Nick Spinale 7bb2717e41 arm-hyp: read inactive cntv_ctl from saved context ...

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>

2021-05-20 10:07:09 +10:00

..

32/mode

replacing all ifndef with pargma once

2020-03-23 11:04:46 +11:00

64/mode

replacing all ifndef with pargma once

2020-03-23 11:04:46 +11:00

api

debug: create debug_tcb_t struct

2020-07-22 00:31:18 +10:00

arch

arm-hyp: read inactive cntv_ctl from saved context

2021-05-20 10:07:09 +10:00

benchmark

KernelBenchmarksTrackUtilisation: Add more stats

2020-07-15 15:15:27 +10:00

drivers

debug: restructure kernel console handling

2021-05-14 13:13:36 +10:00

fastpath

replacing all ifndef with pargma once

2020-03-23 11:04:46 +11:00

kernel

mcs: Add debug assert to check scheduling correct

2021-05-17 10:06:58 +10:00

machine

debug: restructure kernel console handling

2021-05-14 13:13:36 +10:00

model

Make kernel log buffer derived from cmake config

2020-11-10 16:24:43 +11:00

object

mcs: Only unbind extant donated ntfn sc

2021-04-29 12:07:07 +10:00

plat

RISC-V: Replace mentions of BBL with OpenSBI

2021-03-09 11:20:57 +11:00

smp

Repair barriers in clh_lock_acquire

2020-06-22 11:53:08 +10:00

api.h

replacing all ifndef with pargma once

2020-03-23 11:04:46 +11:00

assert.h

replacing all ifndef with pargma once

2020-03-23 11:04:46 +11:00

basic_types.h

support PRIu64 and SEL4_PRIu_word in kernel

2021-05-14 13:34:38 +10:00

bootinfo.h

replacing all ifndef with pargma once

2020-03-23 11:04:46 +11:00

compound_types.h

replacing all ifndef with pargma once

2020-03-23 11:04:46 +11:00

config.h

trivial: remove empty lines

2021-04-01 10:33:41 +10:00

hardware.h

trivial: fix header files

2020-05-22 12:26:13 +10:00

linker.h

replacing all ifndef with pargma once

2020-03-23 11:04:46 +11:00

machine.h

Consolidate kernel virtual memory regions

2020-05-22 12:26:13 +10:00

object.h

replacing all ifndef with pargma once

2020-03-23 11:04:46 +11:00

stdarg.h

Revised kernel printf implementation

2020-05-19 13:16:20 +10:00

stdint.h

support PRIu64 and SEL4_PRIu_word in kernel

2021-05-14 13:34:38 +10:00

string.h

replacing all ifndef with pargma once

2020-03-23 11:04:46 +11:00

types.h

replacing all ifndef with pargma once

2020-03-23 11:04:46 +11:00

util.h

riscv: fix CLZ and CTZ for riscv32 builds (#325)

2021-03-30 13:17:16 +11:00