Changeset 225 for trunk

Timestamp:

Jul 18, 2017, 11:05:17 AM (7 years ago)

Author:

max@…

Message:

implement hal_gpt_create

File:

• trunk/hal/x86_64/core/hal_gpt.c (modified) (1 diff)

trunk/hal/x86_64/core/hal_gpt.c

@@ -247 +247 @@
  ***************************************************************************************/
 
-uint32_t  GPT_MAPPED;
-uint32_t  GPT_SMALL;
-uint32_t  GPT_READABLE;
-uint32_t  GPT_WRITABLE;
-uint32_t  GPT_EXECUTABLE;
-uint32_t  GPT_CACHABLE;
-uint32_t  GPT_USER;
-uint32_t  GPT_DIRTY;
-uint32_t  GPT_ACCESSED;
-uint32_t  GPT_GLOBAL;
-uint32_t  GPT_COW;
-uint32_t  GPT_SWAP;
-uint32_t  GPT_LOCKED;
-
-error_t hal_gpt_create( gpt_t * gpt )
-{
-        x86_panic((char *)__func__);
+uint32_t GPT_MAPPED;
+uint32_t GPT_SMALL;
+uint32_t GPT_READABLE;
+uint32_t GPT_WRITABLE;
+uint32_t GPT_EXECUTABLE;
+uint32_t GPT_CACHABLE;
+uint32_t GPT_USER;
+uint32_t GPT_DIRTY;
+uint32_t GPT_ACCESSED;
+uint32_t GPT_GLOBAL;
+uint32_t GPT_COW;
+uint32_t GPT_SWAP;
+uint32_t GPT_LOCKED;
+
+error_t hal_gpt_create(gpt_t *gpt)
+{
+        page_t *page;
+
+        /* check page size */
+        if (CONFIG_PPM_PAGE_SIZE != 4096) {
+                printk("\n[PANIC] in %s : For x86, the page must be 4 Kbytes\n", __FUNCTION__);
+                hal_core_sleep();
+        }
+
+        /* allocate a physical page for L4 */
+        kmem_req_t req;
+        req.type  = KMEM_PAGE;
+        req.size  = 1;
+        req.flags = AF_KERNEL | AF_ZERO;
+        page = (page_t *)kmem_alloc(&req);
+
+        if (page == NULL) {
+                printk("\n[ERROR] in %s : cannot allocate physical memory for PT1\n", __FUNCTION__);
+                return ENOMEM;
+        }
+
+        /* populate the kernel entries */
+        pt_entry_t *L4src, *L4dst;
+        extern paddr_t L4paddr; // XXX XXX smp
+        vaddr_t L4vaddr = L4paddr + KERNBASE; // XXX
+        L4src = (pt_entry_t *)L4vaddr;
+        L4dst = (pt_entry_t *)ppm_page2vaddr(page);
+        memcpy(&L4dst[256], &L4src[256], 256 * sizeof(pt_entry_t));
+        L4dst[L4_SLOT_PTE] = (ppm_page2ppn(page) >> CONFIG_PPM_PAGE_SHIFT) |
+            PG_V | PG_KW | PG_NX;
+
+        /* initialize generic page table descriptor */
+        gpt->ptr  = ppm_page2vaddr(page);
+        gpt->ppn  = ppm_page2ppn(page);
+        gpt->page = page;
+
+        /* initialize PTE entries attributes masks */
+        GPT_MAPPED     = PG_V;
+        GPT_SMALL      = 0;
+        GPT_READABLE   = PG_V;
+        GPT_WRITABLE   = PG_RW;
+        GPT_EXECUTABLE = 0;
+        GPT_CACHABLE   = 0;
+        GPT_USER       = PG_u;
+        GPT_DIRTY      = 0;
+        GPT_ACCESSED   = 0;
+        GPT_GLOBAL     = PG_G;
+        GPT_COW        = 0;
+        GPT_SWAP       = 0;
+        GPT_LOCKED     = 0;
+
         return 0;
 }