utilities for kernel debugging