do_exit_critical
extern void do_exit_critical(void);
(do_exit_critical(), 0) : 0))
(do_exit_critical(), 0) : 0)
