Go to the documentation of this file.
52 #if !defined(PORT_COMPILER_NAME)
53 #error "PORT_COMPILER_NAME not defined in chcore.h"
56 #if !defined(PORT_IDLE_THREAD_STACK_SIZE)
57 #error "PORT_IDLE_THREAD_STACK_SIZE not defined in chcore.h"
60 #if !defined(PORT_INT_REQUIRED_STACK)
61 #error "PORT_INT_REQUIRED_STACK not defined in chcore.h"
64 #if !defined(PORT_SUPPORTS_RT)
65 #error "PORT_SUPPORTS_RT not defined in chcore.h"
68 #if !defined(PORT_NATURAL_ALIGN)
69 #error "PORT_NATURAL_ALIGN not defined in chcore.h"
72 #if !defined(PORT_STACK_ALIGN)
73 #error "PORT_STACK_ALIGN not defined in chcore.h"
76 #if !defined(PORT_WORKING_AREA_ALIGN)
77 #error "PORT_WORKING_AREA_ALIGN not defined in chcore.h"
80 #if !defined(PORT_ARCHITECTURE_NAME)
81 #error "PORT_ARCHITECTURE_NAME not defined in chcore.h"
84 #if !defined(PORT_CORE_VARIANT_NAME)
85 #error "PORT_CORE_VARIANT_NAME not defined in chcore.h"
88 #if !defined(PORT_INFO)
89 #error "PORT_INFO not defined in chcore.h"
92 #if !defined(PORT_IRQ_IS_VALID_PRIORITY)
93 #error "PORT_IRQ_IS_VALID_PRIORITY not defined in chcore.h"
96 #if !defined(PORT_IRQ_IS_VALID_KERNEL_PRIORITY)
97 #error "PORT_IRQ_IS_VALID_KERNEL_PRIORITY not defined in chcore.h"
100 #if !defined(PORT_SETUP_CONTEXT)
101 #error "PORT_SETUP_CONTEXT not defined in chcore.h"
104 #if !defined(PORT_WA_SIZE)
105 #error "PORT_WA_SIZE not defined in chcore.h"
108 #if !defined(PORT_IRQ_PROLOGUE)
109 #error "PORT_IRQ_PROLOGUE not defined in chcore.h"
112 #if !defined(PORT_IRQ_EPILOGUE)
113 #error "PORT_IRQ_EPILOGUE not defined in chcore.h"
116 #if !defined(PORT_IRQ_HANDLER)
117 #error "PORT_IRQ_HANDLER not defined in chcore.h"
120 #if !defined(PORT_FAST_IRQ_HANDLER)
121 #error "PORT_FAST_IRQ_HANDLER not defined in chcore.h"
125 #if !defined(PORT_CORES_NUMBER)
126 #define PORT_CORES_NUMBER 1
129 #if (PORT_CORES_NUMBER < 1) || (PORT_CORES_NUMBER > 64)
130 #error "invalid PORT_CORES_NUMBER value"
133 #if PORT_CORES_NUMBER == 1
134 #if CH_CFG_SMP_MODE != FALSE
135 #error "this port does not support SMP"