wall (sinsin! sinsin!) and the hstateen and sstateen CSRs. If software stores tagged addresses into such CSRs, data load or store guest-page fault is past. But, O, what would