acpi, pmm: add get_bios_ebda_addr() helper function

Signed-off-by: Pawel Wieczorkiewicz <[email protected]>
KernelTestFramework · Jul 30, 2021 · 4fb9742 · 4fb9742
1 parent 02ae26c
commit 4fb9742
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/common/acpi.c b/common/acpi.c
@@ -103,7 +103,7 @@ static rsdp_rev1_t *acpi_find_rsdp(void) {
     uint32_t ebda_addr;
     rsdp_rev1_t *rsdp;
 
-    ebda_addr = (*(uint16_t *) paddr_to_virt_kern(EBDA_ADDR_ENTRY)) << 4;
+    ebda_addr = get_bios_ebda_addr();
     rsdp =
         find_rsdp(paddr_to_virt_kern(ebda_addr), paddr_to_virt_kern(ebda_addr + KB(1)));
     if (rsdp)

diff --git a/include/mm/pmm.h b/include/mm/pmm.h
@@ -135,6 +135,10 @@ static inline bool in_kernel_section(const void *addr) {
            (addr >= _ptr(__start_rodata) && addr < _ptr(__end_rodata));
 }
 
+static inline uint32_t get_bios_ebda_addr(void) {
+    return (*(uint16_t *) paddr_to_virt_kern(EBDA_ADDR_ENTRY)) << 4;
+}
+
 #endif /* __ASSEMBLY__ */
 
 #endif /* KTF_PMM_H */