utilities for kernel debugging
