direct_map
bool direct_map;
arch.direct_map = vcpu->arch.mmu->root_role.direct;
if (arch.direct_map)
if ((vcpu->arch.mmu->root_role.direct != work->arch.direct_map) ||
r = direct_map(vcpu, fault);
struct direct_map *direct_entry;
__type(value, struct direct_map);