| // Copyright Microsoft and CHERIoT Contributors. | |
| // SPDX-License-Identifier: MIT | |
| #pragma once | |
| #ifndef NULL | |
| # ifdef __cplusplus | |
| # define NULL nullptr | |
| # else | |
| # define NULL ((void *)0) | |
| # endif | |
| #endif | |
| typedef __SIZE_TYPE__ size_t; | |
| typedef signed int ssize_t; | |
| typedef __PTRDIFF_TYPE__ ptrdiff_t; | |
| typedef __UINTPTR_TYPE__ maxalign_t; | |
| /// CHERI C definition for an address-sized integer | |
| typedef __PTRADDR_TYPE__ ptraddr_t; | |
| /// Compatibility definition | |
| typedef ptraddr_t vaddr_t; |