Home
last modified time | relevance | path

Searched refs:valid_params_if (Results 1 – 18 of 18) sorted by relevance

/hal_rpi_pico-latest/src/rp2_common/hardware_xip_cache/
Dxip_cache.c32 valid_params_if(HARDWARE_XIP_CACHE, start_offset <= XIP_CACHE_ADDRESS_SPACE_SIZE); in check_xip_offset_range()
33 valid_params_if(HARDWARE_XIP_CACHE, start_offset + size_bytes <= XIP_CACHE_ADDRESS_SPACE_SIZE); in check_xip_offset_range()
35 valid_params_if(HARDWARE_XIP_CACHE, start_offset + size_bytes >= start_offset); in check_xip_offset_range()
42 valid_params_if(HARDWARE_XIP_CACHE, (start_offset & (XIP_CACHE_LINE_SIZE - 1u)) == 0); in __no_inline_not_in_flash_func()
43 valid_params_if(HARDWARE_XIP_CACHE, (size_bytes & (XIP_CACHE_LINE_SIZE - 1u)) == 0); in __no_inline_not_in_flash_func()
44 valid_params_if(HARDWARE_XIP_CACHE, (uint)op <= (uint)XIP_CACHE_OP_MAX); in __no_inline_not_in_flash_func()
70 valid_params_if(HARDWARE_XIP_CACHE, (start_offset & 3u) == 0); in __no_inline_not_in_flash_func()
71 valid_params_if(HARDWARE_XIP_CACHE, (size_bytes & 3u) == 0); in __no_inline_not_in_flash_func()
105 valid_params_if(HARDWARE_XIP_CACHE, size_bytes <= XIP_CACHE_SIZE); in __no_inline_not_in_flash_func()
/hal_rpi_pico-latest/src/rp2_common/hardware_pio/include/hardware/
Dpio_instructions.h83 valid_params_if(PIO_INSTRUCTIONS, arg1 <= 0x7); in _pio_encode_instr_and_args()
112 valid_params_if(PIO_INSTRUCTIONS, cycles <= 0x1f); in pio_encode_delay()
129 valid_params_if(PIO_INSTRUCTIONS, sideset_bit_count >= 1 && sideset_bit_count <= 5); in pio_encode_sideset()
130 valid_params_if(PIO_INSTRUCTIONS, value <= ((1u << sideset_bit_count) - 1)); in pio_encode_sideset()
147 valid_params_if(PIO_INSTRUCTIONS, sideset_bit_count >= 1 && sideset_bit_count <= 4); in pio_encode_sideset_opt()
148 valid_params_if(PIO_INSTRUCTIONS, value <= ((1u << sideset_bit_count) - 1)); in pio_encode_sideset_opt()
257 valid_params_if(PIO_INSTRUCTIONS, irq <= 7); in _pio_encode_irq()
301 valid_params_if(PIO_INSTRUCTIONS, irq <= 7); in pio_encode_wait_irq()
316 valid_params_if(PIO_INSTRUCTIONS, !(src & _PIO_INVALID_IN_SRC)); in pio_encode_in()
331 valid_params_if(PIO_INSTRUCTIONS, !(dest & _PIO_INVALID_OUT_DEST)); in pio_encode_out()
[all …]
Dpio.h302 valid_params_if(HARDWARE_PIO, sm < NUM_PIO_STATE_MACHINES); in check_sm_param()
306 valid_params_if(HARDWARE_PIO, mask < (1u << NUM_PIO_STATE_MACHINES)); in check_sm_mask()
311 valid_params_if(HARDWARE_PIO, pio == pio0 || pio == pio1); in check_pio_param()
313 valid_params_if(HARDWARE_PIO, pio == pio0 || pio == pio1 || pio == pio2); in check_pio_param()
353 valid_params_if(HARDWARE_PIO, out_count <= 32); in sm_config_set_out_pin_count()
399 valid_params_if(HARDWARE_PIO, set_count <= 5); in sm_config_set_set_pin_count()
465 valid_params_if(HARDWARE_PIO, in_count == 32); in sm_config_set_in_pin_count()
467 valid_params_if(HARDWARE_PIO, in_count && in_count <= 32); in sm_config_set_in_pin_count()
515 valid_params_if(HARDWARE_PIO, bit_count <= 5); in sm_config_set_sideset()
516 valid_params_if(HARDWARE_PIO, !optional || bit_count >= 1); in sm_config_set_sideset()
[all …]
/hal_rpi_pico-latest/src/rp2_common/hardware_ticks/
Dticks.c10 valid_params_if(HARDWARE_TICKS, tick < TICK_COUNT); in tick_start()
14 valid_params_if(HARDWARE_TICKS, cycles <= WATCHDOG_TICK_CYCLES_BITS); in tick_start()
19 valid_params_if(HARDWARE_TICKS, cycles <= TICKS_WATCHDOG_CYCLES_BITS); in tick_start()
27 valid_params_if(HARDWARE_TICKS, tick < TICK_COUNT); in tick_stop()
37 valid_params_if(HARDWARE_TICKS, tick < TICK_COUNT); in tick_is_running()
/hal_rpi_pico-latest/src/rp2_common/hardware_interp/
Dinterp.c22 valid_params_if(HARDWARE_INTERP, lane < 2); in interp_claim_lane()
27 valid_params_if(HARDWARE_INTERP, lane_mask && lane_mask <= 0x3); in interp_claim_lane_mask()
33 valid_params_if(HARDWARE_INTERP, lane < 2); in interp_unclaim_lane()
38 valid_params_if(HARDWARE_INTERP, lane < 2); in interp_lane_is_claimed()
43 valid_params_if(HARDWARE_INTERP, lane_mask <= 0x3); in interp_unclaim_lane_mask()
/hal_rpi_pico-latest/src/rp2_common/hardware_pwm/include/hardware/
Dpwm.h112 valid_params_if(HARDWARE_PWM, slice_num < NUM_PWM_SLICES); in check_slice_num_param()
121 valid_params_if(HARDWARE_PWM, gpio < NUM_BANK0_GPIOS); in pwm_gpio_to_slice_num()
133 valid_params_if(HARDWARE_PWM, gpio < NUM_BANK0_GPIOS); in pwm_gpio_to_channel()
162 valid_params_if(HARDWARE_PWM, div >= 1.f && div < 256.f); in pwm_config_set_clkdiv()
183 valid_params_if(HARDWARE_PWM, div_int >= 1 && div_int < 256); in pwm_config_set_clkdiv_int_frac4()
185 valid_params_if(HARDWARE_PWM, div_frac4 < 16); in pwm_config_set_clkdiv_int_frac4()
219 valid_params_if(HARDWARE_PWM, mode == PWM_DIV_FREE_RUNNING || in pwm_config_set_clkdiv_mode()
374 valid_params_if(HARDWARE_PWM, gpio < NUM_BANK0_GPIOS); in pwm_set_gpio_level()
450 valid_params_if(HARDWARE_PWM, div_int >= 1); in pwm_set_clkdiv_int_frac4()
452 valid_params_if(HARDWARE_PWM, div_frac4 < 16); in pwm_set_clkdiv_int_frac4()
[all …]
/hal_rpi_pico-latest/src/rp2_common/hardware_interp/include/hardware/
Dinterp.h63 valid_params_if(HARDWARE_INTERP, interp == interp0 || interp == interp1); in interp_index()
127 valid_params_if(HARDWARE_INTERP, shift < 32); in interp_config_set_shift()
142 valid_params_if(HARDWARE_INTERP, mask_msb < 32); in interp_config_set_mask()
143 valid_params_if(HARDWARE_INTERP, mask_lsb <= mask_msb); in interp_config_set_mask()
/hal_rpi_pico-latest/src/common/pico_sync/
Dlock_core.c10 valid_params_if(LOCK_CORE, lock_num < NUM_SPIN_LOCKS); in lock_init()
DBUILD.bazel29 # valid_params_if() uses Statement Expressions, which aren't supported in MSVC.
/hal_rpi_pico-latest/src/rp2_common/hardware_adc/include/hardware/
Dadc.h119 valid_params_if(HARDWARE_ADC, input < NUM_ADC_CHANNELS); in adc_select_input()
151 valid_params_if(HARDWARE_ADC, input_mask < (1 << NUM_ADC_CHANNELS)); in adc_set_round_robin()
/hal_rpi_pico-latest/src/common/pico_base_headers/include/pico/
Dassert.h35 #define valid_params_if(x, test) ({if (PARAM_ASSERTIONS_ENABLED(x)) assert(test);}) macro
/hal_rpi_pico-latest/src/rp2_common/hardware_flash/include/hardware/
Dflash.h159 valid_params_if(HARDWARE_FLASH, (bytes & (bytes - 1)) == 0u); in flash_devinfo_bytes_to_size()
/hal_rpi_pico-latest/src/rp2_common/hardware_watchdog/
Dwatchdog.c44 valid_params_if(HARDWARE_WATCHDOG, delay_ms <= WATCHDOG_LOAD_BITS / (1000 * WATCHDOG_XFACTOR)); in _watchdog_enable()
/hal_rpi_pico-latest/src/rp2_common/hardware_dma/include/hardware/
Ddma.h68 valid_params_if(HARDWARE_DMA, timer_num < NUM_DMA_TIMERS); in check_dma_timer_param()
491 valid_params_if(HARDWARE_DMA, chan_mask && chan_mask < (1u << NUM_DMA_CHANNELS)); in dma_start_channel_mask()
917 valid_params_if(HARDWARE_DMA, irq_index < NUM_DMA_IRQS); in dma_get_irq_num()
/hal_rpi_pico-latest/src/rp2_common/hardware_base/include/hardware/
Daddress_mapped.h99 valid_params_if(ADDRESS_ALIAS, rc >= XIP_MAIN_BASE && rc < XIP_NOALLOC_BASE); in xip_alias_check_addr()
/hal_rpi_pico-latest/src/rp2_common/hardware_dma/
Ddma.c111 valid_params_if(HARDWARE_DMA, channel < NUM_DMA_CHANNELS); in check_dma_channel_param_impl()
/hal_rpi_pico-latest/src/rp2_common/hardware_pio/
Dpio.c133 valid_params_if(HARDWARE_PIO, offset < PIO_INSTRUCTION_COUNT); in add_program_at_offset_check()
134 valid_params_if(HARDWARE_PIO, offset + program->length <= PIO_INSTRUCTION_COUNT); in add_program_at_offset_check()
357 valid_params_if(HARDWARE_PIO, initial_pc < PIO_INSTRUCTION_COUNT); in pio_sm_init()
/hal_rpi_pico-latest/src/rp2_common/hardware_irq/
Dirq.c697 …valid_params_if(HARDWARE_IRQ, ((delta >> 21) == 0 || (delta >> 21) == -1)); // range check +- 1 MiB in encode_j_instruction()
704 valid_params_if(HARDWARE_IRQ, ((uintptr_t)vtable & 0x3) == 0x1); // check we are in vector mode in irq_set_riscv_vector_handler()