Where is kdbg_control()?