/descriptor2.h/1.2/Tue Feb  5 22:57:43 2008//TREL_2_3_7_FINAL
/eflags.h/1.1/Wed Jan  1 17:32:05 2003//TREL_2_3_7_FINAL
/guest_context.h/1.2/Tue Feb  5 22:57:43 2008//TREL_2_3_7_FINAL
/monitor.h/1.8/Tue Feb  5 22:57:43 2008//TREL_2_3_7_FINAL
/paging.h/1.1/Wed Jan  1 17:32:05 2003//TREL_2_3_7_FINAL
/tss.h/1.2/Tue Feb  5 22:57:43 2008//TREL_2_3_7_FINAL
D
