/*
 * Copyright (C) 2018 Intel Corporation. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#ifndef VM0_BOOT_H
#define VM0_BOOT_H

#ifdef CONFIG_EFI_STUB
struct efi_context {
	struct acrn_vcpu_regs vcpu_regs;
	void *rsdp;
	void *ap_trampoline_buf;
}__attribute__((packed));

void *get_rsdp_from_uefi(void);
void *get_ap_trampoline_buf(void);
#endif

#endif /* VM0_BOOT_H */
