Messages in this thread |
As suggested by David Rientjes, we should also change free_init_pages. | ||||||||||||
Last update: 2016-01-29 14:21 [W:0.925 / U:0.056 seconds] ©2003-2020 Jasper Spaans|hosted at Digital Ocean and TransIP|Read the blog|Advertise on this site |