Fixed compile error: sorry, unimplemented: inlining failed in call to ‘soc_restart’: function body not available