cleanup

include/arch/archctl.h

@@ -3,4 +3,4 @@
 #include <zinnia/errno.h>
 #include <stdint.h>
 
-errno_t arch_archctl(uintptr_t op, uintptr_t value);
+struct syscall_ret arch_archctl(uintptr_t op, uintptr_t value);

include/arch/mem.h

@@ -3,10 +3,26 @@
 #include <stddef.h>
 #include <stdint.h>
 
+[[gnu::pure]]
+bool arch_mem_addr_is_user(uintptr_t addr);
+
+[[gnu::pure]]
 size_t arch_mem_page_size();
+
+[[gnu::pure]]
 size_t arch_mem_page_bits();
+
+[[gnu::pure]]
 size_t arch_mem_level_bits();
+
+[[gnu::pure]]
 size_t arch_mem_num_levels();
+
+[[gnu::pure]]
 uintptr_t arch_mem_hhdm_addr();
+
+[[gnu::pure]]
 uintptr_t arch_mem_pfndb_addr();
+
+[[gnu::pure]]
 uintptr_t arch_mem_mapping_addr();