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

arm_global: document deadline assert

Browse source 
The comment that PRECISION is too low when the assert fails was wrong.
PRECISION should have no influence on it.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
This commit is contained in:
Gerwin Klein 2023-11-08 08:57:18 +11:00
parent 14ff0c28ec
commit 4b8bed320d
1 changed files with 3 additions and 1 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

4
include/drivers/timer/arm_global.h
View file

@ -70,7 +70,9 @@ static inline void setDeadline(ticks_t deadline)
globalTimer->comparatorUpper = (uint32_t)(deadline >> 32llu);
/* enable cmp */
globalTimer->control |= BIT(COMP_ENABLE);
/* if this fails PRECISION is too low */
/* Assert that either the deadline is in the future or that the IRQ has already been raised.
This should be guaranteed by hardware from r2p0 on of the Cortex-A9 MPCore Technical
Reference Manual (r2p0 published in 2009) */
assert(getCurrentTime() < deadline || globalTimer->isr == 1u);
}