portugalfuturista/seL4
2
0
Fork 0
Code Issues Pull requests Projects Releases Packages Wiki Activity Actions
seL4/include/object
History
Sylvain Gauthier 0c32e252d4 fix TCB_PTR_DEBUG_PTR debug macro 
The base pointer is wrong, and it creates some nasty corruption down the
line (only affects debug builds).

Signed-off-by: Sylvain Gauthier <sylvain.gauthier@data61.csiro.au>
2020-08-31 16:23:32 +10:00
..
cap.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
cnode.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
endpoint.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
interrupt.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
notification.h Check for reschedule on sched context return 2020-08-12 10:10:31 +10:00
objecttype.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
reply.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
schedcontext.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
schedcontrol.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00
structures.h fix TCB_PTR_DEBUG_PTR debug macro 2020-08-31 16:23:32 +10:00
structures_32.bf Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
structures_64.bf Convert license tags to SPDX identifiers 2020-03-09 13:21:49 +08:00
tcb.h debug: create debug_tcb_t struct 2020-07-22 00:31:18 +10:00
untyped.h replacing all ifndef with pargma once 2020-03-23 11:04:46 +11:00