Use SWI_EXIT to exti back to kernel