seL4/include
Kent McLeod 4eccea54e5 KernelBenchmarksTrackUtilisation: Fix for SMP
Create per-node global definitions for utilization variables.
This enables the tracking to more cleanly work on SMP configurations.
As resetting and starting the counters via SysBenchmarkResetLog only
updates the counters of the current thread and idle thread on the
current node it was not possible to accurately record utilization
statistics across multiple nodes. Now each node can have its tracking
independently started, stopped and queried. It is possible to add
additional syscalls in the future for doing this for all nodes in a
single syscall.

Signed-off-by: Kent McLeod <Kent.Mcleod@data61.csiro.au>
2020-07-14 14:13:27 +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 Enabled IPC debug features under new config 2020-04-06 14:21:46 +10:00
arch KernelBenchmarksTrackUtilisation: Fix for SMP 2020-07-14 14:13:27 +10:00
benchmark KernelBenchmarksTrackUtilisation: Fix for SMP 2020-07-14 14:13:27 +10:00
drivers hifive: Expose seL4_IRQControl_GetTrigger API 2020-04-17 17:55:55 +10:00
fastpath replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
kernel introduce isStopped and change isBlocked 2020-05-06 15:49:33 +10:00
machine userError string written to IPC buffer 2020-04-06 12:57:04 +10:00
model KernelBenchmarksTrackUtilisation: Fix for SMP 2020-07-14 14:13:27 +10:00
object reflect function split in thread_control_flag 2020-04-27 11:44:00 +10:00
plat Invert address mapping diagrams 2020-05-22 12:26:13 +10: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 replacing all ifndef with pargma once 2020-03-23 11:04:46 +11: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 replacing all ifndef with pargma once 2020-03-23 11:04:46 +11: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 replacing all ifndef with pargma once 2020-03-23 11:04:46 +11: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 trivial: Use UL_CONST in assembler macros 2020-05-22 12:26:13 +10:00