![]() The efi_pgd is allocated as PGD_ALLOCATION_ORDER pages and therefore must
also be freed as PGD_ALLOCATION_ORDER pages with free_pages().
Fixes:
|
||
---|---|---|
.. | ||
atom | ||
ce4100 | ||
efi | ||
geode | ||
goldfish | ||
intel | ||
intel-mid | ||
intel-quark | ||
iris | ||
olpc | ||
scx200 | ||
sfi | ||
ts5500 | ||
uv | ||
Makefile |