20 #ifndef KERNEL_PROCESSOR_ARM_TYPES_H 21 #define KERNEL_PROCESSOR_ARM_TYPES_H 63 #define KERNEL_PROCESSOR_NO_PORT_IO 1 66 #define PAGE_SIZE 4096 69 #undef __INTPTR_TYPE__ 70 #undef __UINTPTR_TYPE__
unsigned long ARMuint32_t
signed long long ARMint64_t
unsigned long long ARMuint64_t
ARMuint32_t ARMprocessor_register_t
ARMuint32_t ARMphysical_uintptr_t
unsigned short ARMuint16_t