Kernel Level Synchronization

The following dummy code illustrates how synchronization while accessing a shared kernel data structure is done without disabling interrupts.

     oskit_u32_t dummy(void)
      {
        do_Context_Switch=0

^3.1

	/*
         ................................
          Access any shared kernel data structure
         ................................
        */
        do_Context_Switch=1;
      }