26 const uint64_t pmp_values[][18] = {  variable
139     write_csr(pmpaddr0, pmp_values[hart_id][2]);  in pmp_configure()
140     write_csr(pmpaddr1, pmp_values[hart_id][3]);  in pmp_configure()
141     write_csr(pmpaddr2, pmp_values[hart_id][4]);  in pmp_configure()
142     write_csr(pmpaddr3, pmp_values[hart_id][5]);  in pmp_configure()
143     write_csr(pmpaddr4, pmp_values[hart_id][6]);  in pmp_configure()
144     write_csr(pmpaddr5, pmp_values[hart_id][7]);  in pmp_configure()
145     write_csr(pmpaddr6, pmp_values[hart_id][8]);  in pmp_configure()
146     write_csr(pmpaddr7, pmp_values[hart_id][9]);  in pmp_configure()
147     write_csr(pmpaddr8, pmp_values[hart_id][10]);  in pmp_configure()
148     write_csr(pmpaddr9, pmp_values[hart_id][11]);  in pmp_configure()
149     write_csr(pmpaddr10, pmp_values[hart_id][12]);  in pmp_configure()
150     write_csr(pmpaddr11, pmp_values[hart_id][13]);  in pmp_configure()
151     write_csr(pmpaddr12, pmp_values[hart_id][14]);  in pmp_configure()
152     write_csr(pmpaddr13, pmp_values[hart_id][15]);  in pmp_configure()
153     write_csr(pmpaddr14, pmp_values[hart_id][16]);  in pmp_configure()
154     write_csr(pmpaddr15, pmp_values[hart_id][17]);  in pmp_configure()
156     pmp0cfg = pmp_values[hart_id][0];  in pmp_configure()
159     write_csr(pmpcfg2, pmp_values[hart_id][1]);  in pmp_configure()
161     write_csr(pmpcfg0, pmp_values[hart_id][0]);  in pmp_configure()
189         write_csr(pmpaddr0, pmp_values[hart_id][2]);  in pmp_master_configs()
190         write_csr(pmpaddr1, pmp_values[hart_id][3]);  in pmp_master_configs()
191         write_csr(pmpaddr2, pmp_values[hart_id][4]);  in pmp_master_configs()
192         write_csr(pmpaddr3, pmp_values[hart_id][5]);  in pmp_master_configs()