Perhaps the reason is:
include/exec/cpu-all.h
#define PAGE_ANON 0x0080 ... #define PAGE_TARGET_1 0x0080
Perhaps the reason is:
include/ exec/cpu- all.h
#define PAGE_ANON 0x0080
...
#define PAGE_TARGET_1 0x0080