//! shutdown hardware devices int _cdecl hal_shutdown () { //! shutdown system resources i86_cpu_shutdown (); return 0; }
//! shutdown hardware devices int hw_shutdown () { i86_cpu_shutdown (); return 0; }