*
* Driver must call this function to properly dequeue a previously enqueued page
* before definitively releasing it back to the guest system.
*
* Driver must call this function to properly dequeue a previously enqueued page
* before definitively releasing it back to the guest system.