In all implementations of _exit(), use enter_critical_section() vs. disabling local interrupts.
parent
a51b5b7e
Please register or sign in to comment
Maintenance du serveur Gitlab le 16-17 novembre. Prévoir une indisponibilité du service sur cette période.