utilities for kernel debugging

.