1 #define GUEST_PAGING_LEVELS 4
2 #include "guest_walk.c"
3