git: ignore temp files

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
Removes klee_make_symbolic/get_value calls from port I/O operations

This patch removes the klee_make_symbolic and klee_get_value calls
from the port I/O code, and removes these function implements
altogether.  The old approach was not compatible with conconcolic
execution.  This patch removes related code from the KLEE
SpecialFunctionHandler.cpp.

New functionality includes the handleMakeSymbolic and handleGetValue
calls in S2EExecutor, as well as the makeSymbolic and
kleeRead/WriteMemory calls in S2EExecutionState.
This patch adds additional symbolic hardware support.

Features added include: (a) MSI, (b) PCI-E, (c) power management
support.  Support consists of new flags in symbolic hardware
definition files and new command line parameters.
klee: removed deprecated header klee.h

S2E does not use any of these.

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
softmmu: fixed remaining uses of klee_get_value

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
CorePlugin: signal to hook mapping updates of PCI descriptors

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
pci.c: notifying S2E of updates to PCI mappings

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
SymbolicHardware: cosmetic fixes

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
SymbolicHardware: fixed registering of symbolic I/O ranges for PCI devices

Can't use post_load hook as the PCI device might be unmapped at that time.

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>
docs: updated device driver tutorial

Signed-off-by: Vitaly Chipounov <vitaly.chipounov@epfl.ch>