console_lock_spinning_disable_and_check
int console_lock_spinning_disable_and_check(int cookie);
*handover = console_lock_spinning_disable_and_check(cookie);