LOG("%d: ss = %x\n", round, reg4); round ++; } static void lab1_switch_to_user(void) { //LAB1 CHALLENGE 1 : TODO } static void lab1_switch_to_kernel(void) { //LAB1 CHALLENGE 1 : TODO } static void lab1_switch_test(void) { lab1_print_cur_status(); log("+++ switch...