Need turn to user_va to kernel_pa since mbox_call no reference address

Author: JusticeLeee

lab6/kernel/src/mbox.c

@@ -46,8 +46,6 @@ unsigned int  __attribute__((aligned(16))) mbox[8];
  */
 int mbox_call(unsigned char ch, unsigned int *user_mbox)
 {
-    // printf("[1]user_mbox[1]=%p\n",user_mbox[1]);
-    // printf("[1]user_mbox[28]=%p\n",user_mbox[28]);
     unsigned int r = (((unsigned int)((unsigned long)VA2PA(user_mbox))&~0xF) | (ch&0xF));
     /* wait until we can write to the mailbox */
     do{asm volatile("nop");}while(*MBOX_STATUS & MBOX_FULL);

lab6/kernel/src/thread.c

@@ -201,6 +201,7 @@ void exec(const char *program_name, const char **argv) {
     // printf("identity_page=%p\n",identity_page);
     update_page_table(cur, identity_page , identity_page, PD_USER_RW);
   }
+  
   uint64_t virtual_addr = USER_STACK_BASE;
   uint64_t physical_addr = VA2PA(cur->user_stack_base);
   update_page_table(cur, virtual_addr, physical_addr, PD_USER_RW );