/* Global variable in kern_exit.c */