text: /*
   * Raspberry Pi emulation (c) 2012 Gregory Estrade
   * Upstreaming code cleanup [including bcm2835_*] (c) 2013 Jan Petrous
   *
   * Rasperry Pi 2 emulation Copyright (c) 2015, Microsoft
   * Written by Andrew Baumann
   *
   * This code is licensed under the GNU GPLv2 and later.
   */
  
  #include "qemu/osdep.h"
  #include "hw/arm/bcm2835.h"
  #include "hw/arm/bcm2836.h"
  #include "qemu/error-report.h"
  #include "hw/boards.h"
  #include "hw/loader.h"
  #include "hw/arm/arm.h"
  #include "sysemu/sysemu.h"
  
  #define SMPBOOT_ADDR    0x300 /* this should leave enough space for ATAGS */
  #define MVBAR_ADDR      0x400 /* secure vectors */
  #define BOARDSETUP_ADDR (MVBAR_ADDR + 0x20) /* board setup code */
  #define FIRMWARE_ADDR   0x8000 /* Pi loads kernel.img here by default */
  
  /* Table of Linux board IDs for different Pi versions */
  static const int raspi_boardid[] = {[1] = 0xc42, [2] = 0xc43};
  
  /* Table of board revisions
   * https://github.com/AndrewFromMelbourne/raspberry_pi_revision/blob/master/README.md
   */
  static const uint32_t raspi_boardrev[] = {[1] = 0x10, [2] = 0xa21041};
  
  typedef struct RasPiState {
      Object *soc;
      MemoryRegion ram;
  } RasPiState;
  
  static void write_smpboot(ARMCPU *cpu, const struct arm_boot_info *info)
  {
      static const uint32_t smpboot[] = {
          0xe1a0e00f, /*    mov     lr, pc */
          0xe3a0fe00 + (BOARDSETUP_ADDR >> 4), /* mov pc, BOARDSETUP_ADDR */
          0xee100fb0, /*    mrc     p15, 0, r0, c0, c0, 5;get core ID */
          0xe7e10050, /*    ubfx    r0, r0, #0, #2       ;extract LSB */
          0xe59f5014, /*    ldr     r5, =0x400000CC      ;load mbox base */
          0xe320f001, /* 1: yield */
          0xe7953200, /*    ldr     r3, [r5, r0, lsl #4] ;read mbox for our core*/
          0xe3530000, /*    cmp     r3, #0               ;spin while zero */
          0x0afffffb, /*    beq     1b */
          0xe7853200, /*    str     r3, [r5, r0, lsl #4] ;clear mbox */
          0xe12fff13, /*    bx      r3                   ;jump to target */
          0x400000cc, /* (constant: mailbox 3 read/clear base) */
      };
  
      /* check that we don't overrun board setup vectors */
      QEMU_BUILD_BUG_ON(SMPBOOT_ADDR + sizeof(smpboot) > MVBAR_ADDR);
      /* check that board setup address is correctly relocated */
      QEMU_BUILD_BUG_ON((BOARDSETUP_ADDR & 0xf) != 0
                        || (BOARDSETUP_ADDR >> 4) >= 0x100);
  
      rom_add_blob_fixed("raspi_smpboot", smpboot, sizeof(smpboot),
                         info->smp_loader_start);
  }
  
  static void write_board_setup(ARMCPU *cpu, const struct arm_boot_info *info)
  {
      arm_write_secure_board_setup_dummy_smc(cpu, info, MVBAR_ADDR);
  }
  
  static void reset_secondary(ARMCPU *cpu, const struct arm_boot_info *info)
  {
      CPUState *cs = CPU(cpu);
      cpu_set_pc(cs, info->smp_loader_start);
  }
  
  static void setup_boot(MachineState *machine, int version, size_t ram_size)
  {
      static struct arm_boot_info binfo;
      int r;
  
      binfo.board_id = raspi_boardid[version];
      binfo.ram_size = ram_size;
      binfo.nb_cpus = smp_cpus;
      binfo.board_setup_addr = BOARDSETUP_ADDR;
      binfo.write_board_setup = write_board_setup;
      binfo.secure_board_setup = true;
      binfo.secure_boot = true;
  
      /* Pi2 requires SMP setup */
      if (version == 2) {
          binfo.smp_loader_start = SMPBOOT_ADDR;
          binfo.write_secondary_boot = write_smpboot;
          binfo.secondary_cpu_reset_hook = reset_secondary;
      }
  
      /* If the user specified a "firmware" image (e.g. UEFI), we bypass
       * the normal Linux boot process
       */
      if (machine->firmware) {
          /* load the firmware image (typically kernel.img) */
          r = load_image_targphys(machine->firmware, FIRMWARE_ADDR,
                                  ram_size - FIRMWARE_ADDR);
          if (r < 0) {
              error_report("Failed to load firmware from %s", machine->firmware);
              exit(1);
          }
  
          binfo.entry = FIRMWARE_ADDR;
          binfo.firmware_loaded = true;
      } else {
          binfo.kernel_filename = machine->kernel_filename;
          binfo.kernel_cmdline = machine->kernel_cmdline;
          binfo.initrd_filename = machine->initrd_filename;
      }
  
      arm_load_kernel(ARM_CPU(first_cpu), &binfo);
  }
  
  static void raspi_machine_init(MachineState *machine, int version,
                                 const char *soc_type)
  {
      RasPiState *s = g_new0(RasPiState, 1);
      uint32_t vcram_size;
      DriveInfo *di;
      BlockBackend *blk;
      BusState *bus;
      DeviceState *carddev;
  
      /* Initialise the relevant SOC */
      s->soc = object_new(soc_type);
      object_property_add_child(OBJECT(machine), "soc", s->soc, &error_abort);
  
      /* Allocate and map RAM */
      memory_region_allocate_system_memory(&s->ram, OBJECT(machine), "ram",
                                           machine->ram_size);
      /* FIXME: Remove when we have custom CPU address space support */
      memory_region_add_subregion_overlap(get_system_memory(), 0, &s->ram, 0);
  
      /* Setup the SOC */
      object_property_add_const_link(s->soc, "ram", OBJECT(&s->ram),
                                     &error_abort);
  
      object_property_set_int(s->soc, raspi_boardrev[version], "board-rev",
                              &error_abort);
  
      if (version == 2) {
          object_property_set_int(s->soc, smp_cpus, "enabled-cpus", &error_abort);
      }
  
      object_property_set_bool(s->soc, true, "realized", &error_abort);
  
      /* Create and plug in the SD cards */
      di = drive_get_next(IF_SD);
      blk = di ? blk_by_legacy_dinfo(di) : NULL;
      bus = qdev_get_child_bus(DEVICE(s->soc), "sd-bus");
      if (bus == NULL) {
          error_report("No SD bus found in SOC object");
          exit(1);
      }
      carddev = qdev_create(bus, TYPE_SD_CARD);
      qdev_prop_set_drive(carddev, "drive", blk, &error_fatal);
      object_property_set_bool(OBJECT(carddev), true, "realized", &error_fatal);
  
      vcram_size = object_property_get_int(s->soc, "vcram-size", &error_abort);
      setup_boot(machine, version, machine->ram_size - vcram_size);
  }
  
  static void raspi1_init(MachineState *machine)
  {
      raspi_machine_init(machine, 1, TYPE_BCM2835);
  }
  
  static void raspi2_init(MachineState *machine)
  {
      raspi_machine_init(machine, 2, TYPE_BCM2836);
  }
  
  static void raspi1_machine_init(MachineClass *mc)
  {
      mc->desc = "Raspberry Pi";
      mc->init = raspi1_init;
      mc->block_default_type = IF_SD;
      mc->no_parallel = 1;
      mc->no_floppy = 1;
      mc->no_cdrom = 1;
      mc->default_ram_size = 512 * 1024 * 1024;
  };
  DEFINE_MACHINE("raspi", raspi1_machine_init)
  
  static void raspi2_machine_init(MachineClass *mc)
  {
      raspi1_machine_init(mc);
      mc->desc = "Raspberry Pi 2";
      mc->init = raspi2_init;
      mc->max_cpus = BCM2836_NCPUS;
      mc->default_ram_size = 1024 * 1024 * 1024;
  };
  DEFINE_MACHINE("raspi2", raspi2_machine_init)
  