6 #include "sw/device/lib/base/status.h"
8 #include "sw/device/lib/testing/test_framework/check.h"
10 #include "sw/device/silicon_creator/lib/dbg_print.h"
14 OTTF_DEFINE_TEST_CONFIG();
23 uint32_t pmpcfg0, pmpaddr0;
25 CSR_READ(CSR_REG_PMPADDR0, &pmpaddr0);
26 CHECK((pmpcfg0 & 0xFF) != 0);