Searched refs:write_pma_addr (Results 1 – 2 of 2) sorted by relevance
156 void write_pma_addr(uint32_t value, uint32_t idx) in write_pma_addr() function348 write_pma_addr(entry->pma_addr, entry_index); in pmp_config_entry()379 write_pma_addr(entry->pma_addr, i); in pmp_config()
170 void write_pma_addr(uint32_t value, uint32_t idx);