Lines Matching +full:soc +full:-
4 * SPDX-License-Identifier: Apache-2.0
7 #include <soc/rtc_cntl_reg.h>
8 #include <soc/timer_group_reg.h>
9 #include <soc/ext_mem_defs.h>
10 #include <soc/gpio_reg.h>
11 #include <soc/syscon_reg.h>
12 #include <soc/system_reg.h>
14 #include <soc/interrupt_reg.h>
15 #include <soc/periph_defs.h>
21 #include <soc.h>
44 res = esp_intr_get_enabled_intmask(1) & BIT(irq - 32); in arch_irq_is_enabled()
61 source = __builtin_ffs(status) - 1; in soc_intr_get_next_source()
65 source = (__builtin_ffs(status) - 1 + ESP32C2_INTSTATUS_SLOT1_THRESHOLD); in soc_intr_get_next_source()