History log of /seL4-l4v-10.1.1/seL4/include/32/mode/stdint.h
Revision Date Author Comments
# 4b211478 06-Nov-2017 Anna Lyons <Anna.Lyons@data61.csiro.au>

Add stdint MAX definitions

- UINTPTR_MAX
- UINT64_MAX
- UINT32_MAX
- INT64_MAX
- INT32_MAX