The
pmap_release ();
function releases any resources held by the physical map
Fa pmap .
This function is
called when a pmap initialized by the corresponding function,
pmap_pinit ();
is being released.
IMPLEMENTATION NOTES
This function should only be called if
Fa pmap
no longer contains any valid mappings.
