    /* SPDX-License-Identifier: MIT */
    /******************************************************************************
     * arch-x86/guest-acpi.h
     *
     * Guest ACPI interface to x86 Xen.
     *
     */

    #ifndef __XEN_PUBLIC_ARCH_X86_GUEST_ACPI_H__
    #define __XEN_PUBLIC_ARCH_X86_GUEST_ACPI_H__

    #ifdef __XEN_TOOLS__

    /* Location of online VCPU bitmap. */
    #define XEN_ACPI_CPU_MAP             0xaf00
    #define XEN_ACPI_CPU_MAP_LEN         ((HVM_MAX_VCPUS + 7) / 8)

    /* GPE0 bit set during CPU hotplug */
    #define XEN_ACPI_GPE0_CPUHP_BIT      2

    #endif /* __XEN_TOOLS__ */

    #endif /* __XEN_PUBLIC_ARCH_X86_GUEST_ACPI_H__ */

    /*
     * Local variables:
     * mode: C
     * c-file-style: "BSD"
     * c-basic-offset: 4
     * tab-width: 4
     * indent-tabs-mode: nil
     * End:
     */