// Copyright 2018 The Fuchsia Authors. All rights reserved.
// Use of this source code is governed by a BSD-style license that can be
// found in the LICENSE file.

#pragma once

#include <zircon/boot/image.h>

// This symbol is defined in boot-shim.ld.
extern zircon_kernel_t embedded_zbi;

// This type is tailored for the ARM64 C ABI returning to assembly code.
typedef struct {
    zbi_header_t* zbi;                  // Returned in x0.
    uint64_t entry;                     // Returned in x1.
} boot_shim_return_t;

boot_shim_return_t boot_shim(void* device_tree);

void arch_invalidate_cache_all(void);