| 
									
										
										
										
											2025-05-28 14:41:02 -05:00
										 |  |  | #ifndef _PAGING_H
 | 
					
						
							|  |  |  | #define _PAGING_H
 | 
					
						
							|  |  |  | 
 | 
					
						
							| 
									
										
										
										
											2025-10-20 21:57:30 -05:00
										 |  |  | #include <stdint.h>
 | 
					
						
							| 
									
										
										
										
											2025-05-28 14:41:02 -05:00
										 |  |  | 
 | 
					
						
							|  |  |  | void paging_init(void); | 
					
						
							| 
									
										
										
										
											2025-10-20 21:57:30 -05:00
										 |  |  | void map_page(void* phys_addr, void* virt_addr); | 
					
						
							| 
									
										
										
										
											2025-05-28 14:41:02 -05:00
										 |  |  | 
 | 
					
						
							|  |  |  | #endif
 |