88ea538a98
These calls are not the same in general: the former will dequeue the page if it is enqueued, while the latter will just leave it alone. But, all existing uses of the former apply to unmanaged pages, which are never enqueued in the first place. No functional change intended. Reviewed by: kib MFC after: 1 week Sponsored by: Netflix Differential Revision: https://reviews.freebsd.org/D20470 |
||
---|---|---|
.. | ||
balloon | ||
blkback | ||
blkfront | ||
console | ||
control | ||
debug | ||
evtchn | ||
gntdev | ||
grant_table | ||
netback | ||
netfront | ||
pci | ||
pcifront | ||
privcmd | ||
pvcpu | ||
timer | ||
xenpci | ||
xenstore |