console_enter
spl = console_enter(busy);
int spl = console_enter(busy);
extern int console_enter(int);