1 /*******************************************************************************
2  * Copyright 2019-2020 Microchip FPGA Embedded Systems Solutions.
3  *
4  * SPDX-License-Identifier: MIT
5  *
6  * MPFS HAL Embedded Software
7  *
8  */
9 
10 #ifndef CPU_TYPES_H
11 #define CPU_TYPES_H
12 
13 #include <stdint.h>
14 
15 #ifdef __cplusplus
16 extern "C" {
17 #endif
18 
19 typedef unsigned long size_t;
20 
21 /*------------------------------------------------------------------------------
22  * addr_t: address type.
23  * Used to specify the address of peripherals present in the processor's memory
24  * map.
25  */
26 typedef unsigned long addr_t;
27 
28 /*------------------------------------------------------------------------------
29  * psr_t: processor state register.
30  * Used by HAL_disable_interrupts() and HAL_restore_interrupts() to store the
31  * processor's state between disabling and restoring interrupts.
32  */
33 typedef unsigned long psr_t;
34 
35 #ifdef __cplusplus
36 }
37 #endif
38 
39 #endif  /* CPU_TYPES_H */
40 
41