Searched refs:pmp_cfg (Results 1 – 1 of 1) sorted by relevance
60 unsigned long *pmp_addr, unsigned long *pmp_cfg, in print_pmp_entries() argument63 uint8_t *pmp_n_cfg = (uint8_t *)pmp_cfg; in print_pmp_entries()110 unsigned long pmp_cfg[CONFIG_PMP_SLOTS / PMPCFG_STRIDE]; in dump_pmp_regs() local122 pmp_cfg[0] = csr_read(pmpcfg0); in dump_pmp_regs()124 pmp_cfg[1] = csr_read(pmpcfg2); in dump_pmp_regs()127 pmp_cfg[0] = csr_read(pmpcfg0); in dump_pmp_regs()128 pmp_cfg[1] = csr_read(pmpcfg1); in dump_pmp_regs()130 pmp_cfg[2] = csr_read(pmpcfg2); in dump_pmp_regs()131 pmp_cfg[3] = csr_read(pmpcfg3); in dump_pmp_regs()135 print_pmp_entries(0, CONFIG_PMP_SLOTS, pmp_addr, pmp_cfg, banner); in dump_pmp_regs()[all …]
