|
RTEMS CPU Kit with SuperCore
4.11.2
|
SMP Services API. More...
#include <stdint.h>

Go to the source code of this file.
Functions | |
| uint32_t | rtems_get_processor_count (void) |
| Returns the count of processors in the system. More... | |
| uint32_t | rtems_get_current_processor (void) |
| Returns the index of the current processor. More... | |
SMP Services API.
1.8.13