|
@@ -47,9 +47,7 @@ void __init init_pointer_table(unsigned long ptable)
|
|
|
}
|
|
|
|
|
|
PD_MARKBITS(dp) &= ~mask;
|
|
|
-#ifdef DEBUG
|
|
|
- printk("init_pointer_table: %lx, %x\n", ptable, PD_MARKBITS(dp));
|
|
|
-#endif
|
|
|
+ pr_debug("init_pointer_table: %lx, %x\n", ptable, PD_MARKBITS(dp));
|
|
|
|
|
|
/* unreserve the page so it's possible to free that page */
|
|
|
PD_PAGE(dp)->flags &= ~(1 << PG_reserved);
|