Clear PMMAllocs even if CONFIG_PMM not set.

The pmm based allocations are used for internal allocations now, so be
    sure to do a full reset even if external PMM not configured.
1 file changed
tree: 10d04a84fc446454fa20034c3379e5e11b82a772
  1. .gitignore
  2. COPYING
  3. COPYING.LESSER
  4. Makefile
  5. README
  6. TODO
  7. src/
  8. tools/
  9. vgasrc/