kernel/kernel/check_results