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