/**
 * @file        devicemap.h
 * @brief       Interfaces for the Peregrine Device Map.
 *
 * Copyright (c) 2021-2022, NVIDIA CORPORATION. All rights reserved.
 *
 * Redistribution and use in source and binary forms, with or without
 * modification, are permitted provided that the following conditions
 * are met:
 * * Redistributions of source code must retain the above copyright
 * notice, this list of conditions and the following disclaimer.
 * * Redistributions in binary form must reproduce the above copyright
 * notice, this list of conditions and the following disclaimer in the
 * documentation and/or other materials provided with the distribution.
 * * Neither the name of NVIDIA CORPORATION nor the names of its
 * contributors may be used to endorse or promote products derived
 * from this software without specific prior written permission.
 *
 * THIS SOFTWARE IS PROVIDED BY THE COPYRIGHT HOLDERS ``AS IS'' AND ANY
 * EXPRESS OR IMPLIED WARRANTIES, INCLUDING, BUT NOT LIMITED TO, THE
 * IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR
 * PURPOSE ARE DISCLAIMED. IN NO EVENT SHALL THE COPYRIGHT OWNER OR
 * CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL,
 * EXEMPLARY, OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO,
 * PROCUREMENT OF SUBSTITUTE GOODS OR SERVICES; LOSS OF USE, DATA, OR
 * PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY
 * OF LIABILITY, WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT
 * (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING IN ANY WAY OUT OF THE USE
 * OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
 */

#ifndef CPU__DEVICEMAP_H
#define CPU__DEVICEMAP_H
#define FSP__CPU__DEVICEMAP_H 1

/* Compiler headers */

/* Early FSP headers */
#include <misc/ct-assert.h>             // for HEADER_CHECK

/* Hardware headers */

/* Late FSP headers */
// Clients must provide their own DRF headers.

/* Module-specific FSP headers */
#include <cpu/io.h>                     // for local_read

/*
 * Compile-time check for FSP header files
 *   Each FSP header file contains a signature unique to that file, and the
 *   FSP project.  The HEADER_CHECK macro (contained in misc/ct-assert.h) can
 *   check for this signature.  If it does not exist, then the build will
 *   abort.
 *
 *   This is a trap for projects which have their own include files of the
 *   same names, but different contents.  This trap ensures that only the
 *   files from the FSP project, are built into the FSP source code.
 */
HEADER_CHECK(FSP__CPU__IO_H)


/**
 * @brief Checks access to a given device-map group.
 *
 * Checks whether the given operating mode (MMODE / SUBMMODE) has the
 * requested access rights (READ / WRITE) to the specified device-map group.
 *
 * @param[in] mode  The operating mode to check (e.g. MMODE).
 * @param[in] group The target device-map group (e.g. SCP).
 * @param[in] type  The desired access type (e.g. READ).
 *
 * @retval true  if access is permitted.
 * @retval false if access is denied.
 */
#define DEVICEMAP_HAS_ACCESS(mode, group, type) (                           \
    FLD_IDX_TEST_DRF(_PRGNLCL_RISCV, _DEVICEMAP_RISCV##mode, _##type,       \
        NV_PRGNLCL_DEVICE_MAP_GROUP_##group, _ENABLE,                       \
        local_read(NV_PRGNLCL_RISCV_DEVICEMAP_RISCV##mode(                  \
            NV_PRGNLCL_DEVICE_MAP_GROUP_##group /                           \
            NV_PRGNLCL_RISCV_DEVICEMAP_RISCV##mode##_##type##__SIZE_1)))    \
)

#endif // CPU__DEVICEMAP_H
