- fix debugging code so that it compiles - reorder the disabling code so that it is more logical - add splhigh()/splx() in the first establish setting for symmetry