mm/regions: add in_free_region() helper function

wipawel · wipawel · commit d695626cfeb2 · 2021-08-17T18:56:33.000+02:00
The functions returns true iff specified physical address does not
belong to kernel, user nor init sections.

Signed-off-by: Pawel Wieczorkiewicz &lt;wipawel@amazon.de&gt;
diff --git a/include/mm/regions.h b/include/mm/regions.h
@@ -125,6 +125,12 @@ static inline bool in_kernel_section(const void *addr) {
            (addr >= _ptr(__start_symbols) && addr < _ptr(__end_symbols));
 }
 
+static inline bool in_free_region(paddr_t pa) {
+    return !in_kernel_section(paddr_to_virt_kern(pa)) &&
+           !in_user_section(paddr_to_virt_user(pa)) &&
+           !in_init_section(paddr_to_virt(pa));
+}
+
 static inline uint32_t get_bios_ebda_addr(void) {
     return (*(uint16_t *) paddr_to_virt_kern(EBDA_ADDR_ENTRY)) << 4;
 }

Original file line number	Diff line number	Diff line change
`@@ -125,6 +125,12 @@ static inline bool in_kernel_section(const void *addr) {`
`125`	`125`	`(addr >= _ptr(__start_symbols) && addr < _ptr(__end_symbols));`
`126`	`126`	`}`
`127`	`127`
	`128`	`+static inline bool in_free_region(paddr_t pa) {`
	`129`	`+ return !in_kernel_section(paddr_to_virt_kern(pa)) &&`
	`130`	`+ !in_user_section(paddr_to_virt_user(pa)) &&`
	`131`	`+ !in_init_section(paddr_to_virt(pa));`
	`132`	`+}`
	`133`	`+`
`128`	`134`	`static inline uint32_t get_bios_ebda_addr(void) {`
`129`	`135`	`return ((uint16_t ) paddr_to_virt_kern(EBDA_ADDR_ENTRY)) << 4;`
`130`	`136`	`}`