static void init_primary_cpu_post(void)
{
/* Perform any necessary BSP initialization */
init_bsp();
init_debug_pre();
init_cpu_post(BOOT_CPU_ID);
init_debug_post(BOOT_CPU_ID);
init_passthru();
enter_guest_mode(BOOT_CPU_ID);
}
int main(int argc, char *argv[]) {
cfg.portnumber = cfg.otherport = 80;
cfg.pass_udp = cfg.echo_udp = 0;
cfg.pass_tcp = 0;
cfg.have_otherhost = 0;
cfg.hexmode = 1;
cfg.timeout.tv_sec = 1; cfg.timeout.tv_usec = 0;
memset(cfg.otherhostaddr, 0, sizeof(cfg.otherhostaddr));
cfg.otherhostaddr[0] = 127;
cfg.otherhostaddr[1] = 0;
cfg.otherhostaddr[2] = 0;
cfg.otherhostaddr[3] = 1;
if (!parse_cmdline(argc, argv))
return EXIT_FAILURE;
event_init();
init_passthru();
fflush(NULL);
signal(SIGINT, flush_all_f_buffers);
event_dispatch();
return EXIT_SUCCESS;
}
