src/projects/libc/stdlib/free-page.c
void free_page(void* start, size_t pages) {
#ifdef __is_kernel
    // FIXME Unimplemented
    free_kpage(start, pages);
#endif // __is_kernel
#ifdef __is_user
    // TODO Make a syscall to free_epage() here.
#endif // __is_user
}
/*
 * Free a given number of previously allocated pages starting at a given pointer.
 */
Free a given number of previously allocated pages starting at a given pointer.
Free a given number of previously allocated pages starting at a given pointer .
void free_page(void* start, size_t pages) {
#ifdef __is_kernel
    free_kpage(start, pages);
#endif 
#ifdef __is_user
#endif 
}
void free_page ( void * start , size_t pages ) { #ifdef __is_kernel free_kpage ( start , pages ) ; #endif #ifdef __is_user #endif }
Free a given number of previously allocated pages starting at a given pointer.
Free a given number of previously allocated pages starting at a given pointer .
// FIXME Unimplemented // __is_kernel // TODO Make a syscall to free_epage() here. // __is_user