mi_kernel.c : Ajout des valeurs de retour