590     MachineClass *mc = MACHINE_CLASS(oc);  in xtfpga_lx60_class_init()  local
592     mc->desc = "lx60 EVB (" XTENSA_DEFAULT_CPU_MODEL ")";  in xtfpga_lx60_class_init()
593     mc->init = xtfpga_lx60_init;  in xtfpga_lx60_class_init()
594     mc->max_cpus = 32;  in xtfpga_lx60_class_init()
595     mc->default_cpu_type = XTENSA_DEFAULT_CPU_TYPE;  in xtfpga_lx60_class_init()
596     mc->default_ram_size = 64 * MiB;  in xtfpga_lx60_class_init()
607     MachineClass *mc = MACHINE_CLASS(oc);  in xtfpga_lx60_nommu_class_init()  local
609     mc->desc = "lx60 noMMU EVB (" XTENSA_DEFAULT_CPU_NOMMU_MODEL ")";  in xtfpga_lx60_nommu_class_init()
610     mc->init = xtfpga_lx60_nommu_init;  in xtfpga_lx60_nommu_class_init()
611     mc->max_cpus = 32;  in xtfpga_lx60_nommu_class_init()
612     mc->default_cpu_type = XTENSA_DEFAULT_CPU_NOMMU_TYPE;  in xtfpga_lx60_nommu_class_init()
613     mc->default_ram_size = 64 * MiB;  in xtfpga_lx60_nommu_class_init()
624     MachineClass *mc = MACHINE_CLASS(oc);  in xtfpga_lx200_class_init()  local
626     mc->desc = "lx200 EVB (" XTENSA_DEFAULT_CPU_MODEL ")";  in xtfpga_lx200_class_init()
627     mc->init = xtfpga_lx200_init;  in xtfpga_lx200_class_init()
628     mc->max_cpus = 32;  in xtfpga_lx200_class_init()
629     mc->default_cpu_type = XTENSA_DEFAULT_CPU_TYPE;  in xtfpga_lx200_class_init()
630     mc->default_ram_size = 96 * MiB;  in xtfpga_lx200_class_init()
641     MachineClass *mc = MACHINE_CLASS(oc);  in xtfpga_lx200_nommu_class_init()  local
643     mc->desc = "lx200 noMMU EVB (" XTENSA_DEFAULT_CPU_NOMMU_MODEL ")";  in xtfpga_lx200_nommu_class_init()
644     mc->init = xtfpga_lx200_nommu_init;  in xtfpga_lx200_nommu_class_init()
645     mc->max_cpus = 32;  in xtfpga_lx200_nommu_class_init()
646     mc->default_cpu_type = XTENSA_DEFAULT_CPU_NOMMU_TYPE;  in xtfpga_lx200_nommu_class_init()
647     mc->default_ram_size = 96 * MiB;  in xtfpga_lx200_nommu_class_init()
658     MachineClass *mc = MACHINE_CLASS(oc);  in xtfpga_ml605_class_init()  local
660     mc->desc = "ml605 EVB (" XTENSA_DEFAULT_CPU_MODEL ")";  in xtfpga_ml605_class_init()
661     mc->init = xtfpga_ml605_init;  in xtfpga_ml605_class_init()
662     mc->max_cpus = 32;  in xtfpga_ml605_class_init()
663     mc->default_cpu_type = XTENSA_DEFAULT_CPU_TYPE;  in xtfpga_ml605_class_init()
664     mc->default_ram_size = 512 * MiB - XTFPGA_MMU_RESERVED_MEMORY_SIZE;  in xtfpga_ml605_class_init()
675     MachineClass *mc = MACHINE_CLASS(oc);  in xtfpga_ml605_nommu_class_init()  local
677     mc->desc = "ml605 noMMU EVB (" XTENSA_DEFAULT_CPU_NOMMU_MODEL ")";  in xtfpga_ml605_nommu_class_init()
678     mc->init = xtfpga_ml605_nommu_init;  in xtfpga_ml605_nommu_class_init()
679     mc->max_cpus = 32;  in xtfpga_ml605_nommu_class_init()
680     mc->default_cpu_type = XTENSA_DEFAULT_CPU_NOMMU_TYPE;  in xtfpga_ml605_nommu_class_init()
681     mc->default_ram_size = 256 * MiB;  in xtfpga_ml605_nommu_class_init()
692     MachineClass *mc = MACHINE_CLASS(oc);  in xtfpga_kc705_class_init()  local
694     mc->desc = "kc705 EVB (" XTENSA_DEFAULT_CPU_MODEL ")";  in xtfpga_kc705_class_init()
695     mc->init = xtfpga_kc705_init;  in xtfpga_kc705_class_init()
696     mc->max_cpus = 32;  in xtfpga_kc705_class_init()
697     mc->default_cpu_type = XTENSA_DEFAULT_CPU_TYPE;  in xtfpga_kc705_class_init()
698     mc->default_ram_size = 1 * GiB - XTFPGA_MMU_RESERVED_MEMORY_SIZE;  in xtfpga_kc705_class_init()
709     MachineClass *mc = MACHINE_CLASS(oc);  in xtfpga_kc705_nommu_class_init()  local
711     mc->desc = "kc705 noMMU EVB (" XTENSA_DEFAULT_CPU_NOMMU_MODEL ")";  in xtfpga_kc705_nommu_class_init()
712     mc->init = xtfpga_kc705_nommu_init;  in xtfpga_kc705_nommu_class_init()
713     mc->max_cpus = 32;  in xtfpga_kc705_nommu_class_init()
714     mc->default_cpu_type = XTENSA_DEFAULT_CPU_NOMMU_TYPE;  in xtfpga_kc705_nommu_class_init()
715     mc->default_ram_size = 256 * MiB;  in xtfpga_kc705_nommu_class_init()