44.1. pageDispose

pageDispose disposes of numPages pages obtained with newPage.

pageDispose releases numPages pages starting at the page that contains pageAdr (i.e., pageAdr need not be the ADDRESS of the start of the page). Nothing happens if pageAdr is NULLADDRESS.

If numPages is less than or equal to zero, one page is released.

It is not necessary to release all the pages obtained with a single call to newPage with a single call to pageDispose; if the program keeps track of the pages, it can release them individually or in groups smaller than the size of the original allocation.

The effect of pageDispose is undefined if a page is released that was not originally in in a group of pages originally allocated with newPage or if an already disposed page is disposed again.