stdio_IMPORTS_start
I_printf
stdio_IMPORTS_end

loadcore_IMPORTS_start
I_RegisterLibraryEntries
I_QueryLibraryEntryTable
I_FlushDcache
I_FlushIcache
loadcore_IMPORTS_end

sysclib_IMPORTS_start
I_memset
I_memcmp
I_memcpy
I_strcmp
I_index
I_strlen
I_strncpy
I_strtol
sysclib_IMPORTS_end

intrman_IMPORTS_start
I_CpuSuspendIntr
I_CpuResumeIntr
intrman_IMPORTS_end
