Miscellaneous Models

• Interrupt enable and disable
• Dispatcher functions
  • block self
  • unblock a thread
  • No actual scheduling needed
• IPC data transfer
  • page fault sender
  • page fault receiver
  • transfer ok