// Copyright (c) Microsoft Corporation.
// Licensed under the MIT License.

//! !! THIS MODULE IS A STUB !!
//!
//! At the moment, we use the PSP emulator running on the host, but construct
//! the corresponding "ASPT" ACPI table within hvlite / underhill. Therefore,
//! the only thing you'll find here is just a handful of constants that are
//! required to construct this table.

pub mod reg {
    // ASP Global Registers
    pub const FEATURE: u64 = 0x0000;
    pub const INT_EN: u64 = 0x0004;
    pub const INT_STS: u64 = 0x0008;

    // SEV Mailbox Registers
    pub const CMD_RESP: u64 = 0x0010;
    pub const CMD_BUF_ADDR_LO: u64 = 0x0014;
    pub const CMD_BUF_ADDR_HI: u64 = 0x0018;

    // ACPI Mailbox Registers
    pub const ACPI_CMD_RESP: u64 = 0x0020;
}

pub const PSP_MMIO_ADDRESS: u64 = 0xfeb00000;
