    /* SPDX-License-Identifier: MIT */
    /*
     * Structure definitions for HVM state that is held by Xen and must
     * be saved along with the domain's memory and device-model state.
     *
     * Copyright (c) 2012 Citrix Systems Ltd.
     */

    #ifndef __XEN_PUBLIC_HVM_SAVE_ARM_H__
    #define __XEN_PUBLIC_HVM_SAVE_ARM_H__

    #endif

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