| Correctness issues: | 
 |  | 
 | - some eflags manipulation incorrectly reset the bit 0x2. | 
 | - SVM: test, cpu save/restore, SMM save/restore.  | 
 | - x86_64: lcall/ljmp intel/amd differences ? | 
 | - better code fetch (different exception handling + CS.limit support) | 
 | - user/kernel PUSHL/POPL in helper.c | 
 | - add missing cpuid tests | 
 | - return UD exception if LOCK prefix incorrectly used | 
 | - test ldt limit < 7 ? | 
 | - fix some 16 bit sp push/pop overflow (pusha/popa, lcall lret) | 
 | - full support of segment limit/rights  | 
 | - full x87 exception support | 
 | - improve x87 bit exactness (use bochs code ?) | 
 | - DRx register support | 
 | - CR0.AC emulation | 
 | - SSE alignment checks | 
 |  | 
 | Optimizations/Features: | 
 |  | 
 | - add SVM nested paging support | 
 | - add VMX support | 
 | - add AVX support | 
 | - add SSE5 support | 
 | - fxsave/fxrstor AMD extensions | 
 | - improve monitor/mwait support | 
 | - faster EFLAGS update: consider SZAP, C, O can be updated separately | 
 |   with a bit field in CC_OP and more state variables. | 
 | - evaluate x87 stack pointer statically | 
 | - find a way to avoid translating several time the same TB if CR0.TS | 
 |   is set or not. |