blob: c08e1ea5e8b4e185a521f414a5cffe3cadef5ccb [file] [log] [blame]
// Copyright 2017 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/types.h>
zx_status_t setup_zircon(const uintptr_t addr, const size_t vmo_size, const uintptr_t first_page,
const uintptr_t acpi_off, const int fd, const char* bootdata_path,
const char* cmdline, uintptr_t* guest_ip, uintptr_t* bootdata_off);