tasking: continue fixing task_kill

2025-06-23 23:41:01 +03:00
parent 29de6e6f43
commit b769ac0a58
6 changed files with 125 additions and 73 deletions
@@ -46,6 +46,7 @@ static inline uint32_t virt_to_phys(void* virt) {
 }

 //page_alloc.c
+int is_page_in_use(uint32_t page_index);
 void set_bit(uint32_t page_index);
 void clear_bit(uint32_t page_index);
 void init_allocator();