/*
 * Copyright (C) 2013 Jean-Christophe PLAGNIOL-VILLARD <plagnio@jcrosoft.com>
 *
 * GPLv2 only
 */

#include <common.h>
#include <linux/sizes.h>
#include <asm/barebox-arm-head.h>
#include <asm/barebox-arm.h>
#include <asm/system_info.h>

void qemu_virt64_start(uint32_t, uint32_t, uint32_t);

void noinline qemu_virt64_start(uint32_t r0, uint32_t r1, uint32_t r2)
{
	arm_cpu_lowlevel_init();
	arm_setup_stack(0x40000000 + SZ_2G - SZ_16K);

	barebox_arm_entry(0x40000000, SZ_2G, NULL);
}