17.12. Kernel utility functions