This thread has been locked.

If you have a related question, please click the "Ask a related question" button in the top right corner. The newly created question will be automatically linked to this question.

Semaphore2 Hardware Module and Sys/BIOS

I read sprugs3a about Semaphore2 module and going to implement spinlock.

Which of 64 semaphores does the Sys/BIOS or GateMP use? I suppose I am not allowed to use them in my spinlock.

Also I realized that in resource_mgr.h there are some definitions regarding semaphores

/** @defgroup  Platform_hardware_semaphore  Hardware Semaphores
 *  	Hardware semaphore IDs. Only those which are assigned appear here.
 */


/*@{*/
#define PLATFORM_CPPI_HW_SEM        1		/**< CPPI Driver - Used by OSAL layer					*/
#define PLATFORM_QMSS_HW_SEM        2		/**< QMSS Driver - Used by OSAL Layer					*/
#define PLATFORM_SPI_HW_SEM			3		/**< SPI BUS arbitration - Used by platform library 	*/
/*@}*/  /* defgroup */

Of course I would add my semaphores here, but how do I know if they don't conlict with GateMP?