Example #1
0
void
OS_ReservedPageFree(PageHandle handle, // IN: A valid page handle
                    int isLargePage)   // IN
{
   ASSERT(!isLargePage);

   os_kmem_free((vm_page_t)handle);
}
Example #2
0
void
OS_ReservedPageFree(PageHandle handle) // IN: A valid page handle
{
   os_kmem_free((vm_page_t)handle);
}