>> >> >> This raises a good question: how does buddy merging handle the reported >> flag? >> >> -- >> Cheers, >> >> David > > > IIUC it doesn't: reported pages are never merged, if a page is merged it has > just entered buddy.
I guess it makes sense: if a page gets freed and we end up merging, the freed page was not reported yet, so we have to report the whole block. -- Cheers, David
