shadow_walk_init
for (shadow_walk_init(&(_walker), _vcpu, _addr); \
for (shadow_walk_init(&iterator, vcpu, addr),