portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include/object
History
Gerwin Klein 93f73a49ad tcb: make validFaultHandler available 
Make the function validFaultHandler available to the assert in
sendFaultIPC in faulthandler.c.

Signed-off-by: Gerwin Klein <gerwin.klein@proofcraft.systems>
2026-06-02 10:20:59 +10:00
..
cap.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
cnode.h remove slot_range_t 2021-03-19 11:29:51 +11:00
domain.h Runtime Domain Schedules 2026-03-24 15:03:39 +11:00
endpoint.h mcs: handle endpoint and ntfn queues uniformly 2026-05-22 11:42:19 +10:00
interrupt.h avoid passing extra_caps_t by value 2021-03-19 11:29:51 +11:00
notification.h mcs: handle endpoint and ntfn queues uniformly 2026-05-22 11:42:19 +10:00
objecttype.h remove slot_range_t 2021-03-19 11:29:51 +11:00
reply.h reply: do not assume replyObject NULL invariant 2025-02-10 15:53:08 +11:00
schedcontext.h mcs: refactor finaliseCap to ease verification 2026-02-16 14:13:14 +11:00
schedcontrol.h avoid passing extra_caps_t by value 2021-03-19 11:29:51 +11:00
structures.h mcs: handle endpoint and ntfn queues uniformly 2026-05-22 11:42:19 +10:00
structures_32.bf bf structs: eliminate BF_CANONICAL_RANGE #ifdefs 2026-01-09 09:00:43 +11:00
structures_64.bf trivial: align for better readability 2026-01-09 09:00:43 +11:00
tcb.h tcb: make validFaultHandler available 2026-06-02 10:20:59 +10:00
untyped.h remove slot_range_t 2021-03-19 11:29:51 +11:00