Rethinking TLB Designs in Virtualized Environments