Formatting: '*' should be next to PIOS_Semaphore_Create.

Check this throughout this new file.