add comments for some official names

lib/src/libc/rmonPrintf.c

@@ -18,6 +18,7 @@ static char *is_proutSyncPrintf(UNUSED char *str, UNUSED const char *buf, UNUSED
  * Like sprintf, but simpler. It just hardcodes NULL for the dst,
  * and calls a function that just hardcodes a fake pointer.
  * Could still be an earlier version of osSyncPrintf
+ * Official name: osSyncPrintf
  */
 void rmonPrintf(const char *format, ...) {
     va_list args;

lib/src/os/osMotor.c

@@ -14,6 +14,7 @@ OSPifRam _MotorStopData[MAXCONTROLLERS];
 OSPifRam _MotorStartData[MAXCONTROLLERS];
 u8 _motorstopbuf[BLOCKSIZE];
 u8 _motorstartbuf[BLOCKSIZE];
+/* Official name: nosMotorStop */
 s32 osMotorStop(OSPfs *pfs) {
     int i;
     s32 ret;
@@ -97,6 +98,7 @@ static void _MakeMotorData(int channel, u16 address, u8 *buffer, OSPifRam *mdata
     ptr[0] = CONT_CMD_END;
 }
 
+/* Official name: nosMotorInit */
 s32 osMotorInit(OSMesgQueue *mq, OSPfs *pfs, int channel) {
     int i;
     s32 ret;