// Copyright 2021 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.

// Architecture-specific implementations of common code.

#ifndef SRC_VIRTUALIZATION_TESTS_HYPERVISOR_ARCH_H_
#define SRC_VIRTUALIZATION_TESTS_HYPERVISOR_ARCH_H_

#include <lib/stdcompat/span.h>
#include <stdint.h>
#include <zircon/types.h>

#include "constants.h"

// Set up an identity page-table (mapping virt/phys 1:1) for the guest.
void SetUpGuestPageTable(cpp20::span<uint8_t> guest_memory);

#endif  // SRC_VIRTUALIZATION_TESTS_HYPERVISOR_ARCH_H_