void OS_ReservedPageFree(PageHandle handle, // IN: A valid page handle int isLargePage) // IN { ASSERT(!isLargePage); os_kmem_free((vm_page_t)handle); }
void OS_ReservedPageFree(PageHandle handle) // IN: A valid page handle { os_kmem_free((vm_page_t)handle); }