/* param base XRDC2 peripheral base address. param config Pointer to the access policy configuration structure.  */
void XRDC2_SetMemSlotAccessConfig(XRDC2_Type *base, xrdc2_mem_slot_t memSlot, const xrdc2_mem_slot_access_config_t *config)
/* param base XRDC2 peripheral base address. param config Pointer to the access policy configuration structure.  */
void XRDC2_SetMemSlotAccessConfig(XRDC2_Type *base, xrdc2_mem_slot_t memSlot, const xrdc2_mem_slot_access_config_t *config)
{
    assert(NULL != config);
    uint32_t w0 = 0;
    uint32_t w1 = 0;
    XRDC2_MakeDXACP(config->policy, &w0, &w1);
    w1 |= XRDC2_MSC_MSAC_W1_DL2(config->lockMode);
    w1 |= XRDC2_MSC_MSAC_W1_VLD_MASK;
    base->MSCI_MSAC_WK[(uint8_t)memSlot].MSC_MSAC_W0 = w0;
    base->MSCI_MSAC_WK[(uint8_t)memSlot].MSC_MSAC_W1 = w1;
}