| // Copyright 2022 Google Inc. |
| // Licensed under the Apache License, Version 2.0, see LICENSE for details. |
| // SPDX-License-Identifier: Apache-2.0 |
| |
| #include "${helper.header_path}" |
| |
| /** |
| * PLIC Interrupt Source to Peripheral Map |
| * |
| * This array is a mapping from `${helper.plic_interrupts.name.as_c_type()}` to |
| * `${helper.plic_sources.name.as_c_type()}`. |
| */ |
| ${helper.plic_mapping.render_definition()} |
| ${helper.smc_helper.smc_plic_mapping_render_definition()} |
| |
| /** |
| * Alert Handler Alert Source to Peripheral Map |
| * |
| * This array is a mapping from `${helper.alert_alerts.name.as_c_type()}` to |
| * `${helper.alert_sources.name.as_c_type()}`. |
| */ |
| ${helper.alert_mapping.render_definition()} |
