kernel - Add missing lwkt_switch_return() call to pcb_ext path
authorMatthew Dillon <dillon@apollo.backplane.com>
Wed, 30 Nov 2011 20:04:10 +0000 (12:04 -0800)
committerMatthew Dillon <dillon@apollo.backplane.com>
Wed, 30 Nov 2011 20:04:10 +0000 (12:04 -0800)
commiteb673128b7e9d446d8fddbaba3d6ef17b5d0cd1e
tree500c386dbf9334b9bf381439b4c7db94a05c953d
parent0ae279a9ce2880272a15998b23e4fdecfa72dfa8
kernel - Add missing lwkt_switch_return() call to pcb_ext path

* Add missing lwkt_switch_return() call to pcb_ext path

* This path is only used when a program accesses /dev/io (basically
  none in normal system operation).
sys/platform/pc32/i386/vm_machdep.c
sys/platform/vkernel/i386/vm_machdep.c