5#include "sw/device/lib/testing/rv_plic_testutils.h"
10#include "sw/device/lib/testing/rand_testutils.h"
11#include "sw/device/lib/testing/test_framework/check.h"
19 uint32_t priority = rand_testutils_gen32_range(kDifRvPlicMinPriority + 1,
20 kDifRvPlicMaxPriority);
21 CHECK_DIF_OK(dif_rv_plic_irq_set_priority(plic, irq_id, priority));
26 dif_rv_plic_target_set_threshold(plic, target, kDifRvPlicMinPriority));