Skip to content

irq_control_get_trigger: change trigger to bool #480

irq_control_get_trigger: change trigger to bool

irq_control_get_trigger: change trigger to bool #480

Annotations

1 warning

Check Kani proofs

succeeded Jul 16, 2024 in 3m 24s