seL4/libsel4/include
Kent McLeod 3b12f529d7 libsel4: Expose mcs constants to non-C files
Use the __ASSEMBLER__ macro to suppress C definitions from appearing in
non-C files when the preprocessor is used. Other libsel4/*/constants.h
files use this strategy to avoid duplicating definitions for seL4 object
sizes that can changed based on kernel configuration.
2019-08-22 13:32:11 +10:00
..
api mcs: scheduling context donation over ipc 2019-08-22 11:22:37 +10:00
interfaces trivial: add correct section in docs 2019-08-22 11:22:39 +10:00
sel4 libsel4: Expose mcs constants to non-C files 2019-08-22 13:32:11 +10:00