Searched refs:INT32_MAX (Results 1 – 2 of 2) sorted by relevance

/seL4-master/include/
A D	stdint.h	24 #define INT32_MAX (0x7FFFFFFF) macro
/seL4-master/src/machine/
A D	io.c	112 #define INTMAX_MAX INT32_MAX

Completed in 4 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023