Revisiting hardware-assisted page walks for virtualized systems | IEEE Conference Publication | IEEE Xplore