Fix a typo.
Remove duplicated panda_mark headers, move to a unified location that tests can include.
Fix popping order in panda_mark.
target-i386: Mask NX bit from cpu_get_phys_page_debug result

This was a long pending bug, now revealed by the assert in
phys_page_find that stumbled over the large page index returned by
cpu_get_phys_page_debug for NX-marked pages: We need to mask out NX and
all user-definable bits 52..62 from PDEs and the final PTE to avoid
corrupting physical addresses.

Reviewed-by: Avi Kivity <avi@redhat.com>
Signed-off-by: Jan Kiszka <jan.kiszka@siemens.com>
Signed-off-by: Blue Swirl <blauwirbel@gmail.com>
Add Windows tainted socket test.
Update documentation for taint plugin.
Small doc cleanup.
Add PANDA hypercalls for ARM.
Check that logfile exists before trying to register callbacks to avoid crash.
pandroid: Android keycode state is just a bool

Don't make serialization difficult with a useless struct
pandroid: savevm handler for goldfish_events
pandroid: add cpu_memory_rw for goldfish_nand
Goldfish's NAND hardware is writing to virtual addresses.
Worse, it was doing so in a way that evaded record/replay capture.
Pandroid: use cpu_memory_rw() in all goldfish hw that touches virtual memory.
ARM: support mem callbacks on ARM
Commit work by Sam and I that starts instrumentation and taint modeling of IN and OUT x86 instructions.
Always verify LLVM code during generation.
Finish adding x86 port support in dynamic logging, taint processor, shadow memory.
Merge recent changes with hd_taint branch to get hard drive taint working.