Skip to content

irq_control_get_trigger: change trigger to bool #481

irq_control_get_trigger: change trigger to bool

irq_control_get_trigger: change trigger to bool #481

Annotations

1 warning

Check Kani proofs

succeeded Jul 16, 2024 in 3m 14s