-
Committer:
Jakub Jermar
-
Date:
2012-11-07 11:01:22 UTC
-
Revision ID:
jakub@jermar.eu-20121107110122-y3hvxctxrc2ad7ye
Rename AS_AREA_NORESERVE to AS_AREA_LATE_RESERVE.
This reflects the fact that we still reserve memory for these areas,
but the reservation is done late during the page fault.