实现设置pcb名字和vsnprintf (#72)

* 实现pcb设置名字

* 实现设置pcb名字，实现vsnprintf

* 修改set_pcb_name和va_end

* bugfix: 修正一些小问题

Co-authored-by: longjin <longjin@RinGoTek.cn>

kernel/sched/sched.c

@@ -3,15 +3,15 @@
 #include <common/spinlock.h>
 #include <driver/video/video.h>
 #include <sched/cfs.h>
-
+#include <common/string.h>
 /**
- * @brief 
- * 
+ * @brief
+ *
  * @param p pcb
  * @param attr 调度属性
  * @param user 请求是否来自用户态
- * @param pi 
- * @return int 
+ * @param pi
+ * @return int
  */
 static int __sched_setscheduler(struct process_control_block *p, const struct sched_attr *attr, bool user, bool pi)
 {
@@ -70,4 +70,7 @@ void sched()
 void sched_init()
 {
     sched_cfs_init();
-}
+}
+
+
+

kernel/sched/sched.h

@@ -75,4 +75,5 @@ void sched_init();
  * @brief 当时钟中断到达时，更新时间片
  *
  */
-void sched_update_jiffies();
+void sched_update_jiffies();
+