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);