feat(slave-side-prot): add mmio regions to platform description

The mmio regions present in the platform description are to be mapped
accessible for all address spaces.

Signed-off-by: Miguel Silva <[email protected]>

Author: miguelafsilva5

src/core/inc/platform.h

@@ -21,6 +21,8 @@ struct platform {
     size_t region_num;
     struct mem_region* regions;
 
+    size_t mmio_region_num;
+    struct mem_region* mmio_regions;
     struct {
         paddr_t base;
     } console;

src/core/mpu/mem.c

@@ -214,6 +214,16 @@ size_t mem_cpu_boot_alloc_size()
     return size;
 }
 
+static void mem_mmio_init_regions(struct addr_space* as)
+{
+    for (unsigned long i = 0; i < platform.mmio_region_num ; i++){
+        mem_alloc_map_dev(as, as->type == AS_VM ? SEC_VM_ANY : SEC_HYP_ANY, 
+            platform.mmio_regions[i].base, 
+            platform.mmio_regions[i].base, 
+            NUM_PAGES(platform.mmio_regions[i].size));
+    }
+}
+
 void as_init(struct addr_space* as, enum AS_TYPE type, asid_t id, colormap_t colors)
 {
     UNUSED_ARG(colors);
@@ -229,6 +239,13 @@ void as_init(struct addr_space* as, enum AS_TYPE type, asid_t id, colormap_t col
     for (size_t i = 0; i < VMPU_NUM_ENTRIES; i++) {
         mem_vmpu_free_entry(as, i);
     }
+
+    /* For architectures with slave-side mmio protection, we map all the
+    mmio regions to be accessible to all address spaces */
+    if (DEFINED(MMIO_SLAVE_SIDE_PROT)) {
+        mem_mmio_init_regions(as);  
+    }
+
 }
 
 static void mem_free_ppages(struct ppages* ppages)