#ifndef VAS_EBOOT_STARTUP_CPU_HEADER
#define VAS_EBOOT_STARTUP_CPU_HEADER

struct VasEBoot_arm_startup_registers
{
  /* registers 0-11 */
  /* for U-boot r[1] is machine type */
  /* for U-boot r[2] is boot data */
  VasEBoot_uint32_t r[12];
  VasEBoot_uint32_t sp;
  VasEBoot_uint32_t lr;
};

extern struct VasEBoot_arm_startup_registers VasEBoot_arm_saved_registers;

#endif