int ARM7TDMI_82C46C()
{
int v0; // r1@1
int v1; // r2@1
int v2; // r3@1
int v3; // r1@1
int v4; // r2@1
int v5; // r3@1
int v6; // r1@1
int v7; // r2@1
int v8; // r3@1
int v9; // r1@1
int v10; // r2@1
int v11; // r3@1
UART_InfoMsg_82D8D8("Platform: %s (%s) %s\r\n", (int)"CAM", (int)"ARM7TDMI", (int)&dword_84D640);
UART_InfoMsg_82D8D8(&unk_5460, v0, v1, v2);
UART_InfoMsg_82D8D8("GCC: ", v3, v4, v5);
UART_InfoMsg_82D8D8("3.0.3", v6, v7, v8);
return UART_InfoMsg_82D8D8("\r\n", v9, v10, v11);
}