+typedef struct savearea pcb;
+typedef struct savearea *pcb_t;
+
+struct facility_context {
+
+ savearea_fpu *FPUsave; /* The floating point savearea */
+ savearea *FPUlevel; /* The floating point context level */
+ unsigned int FPUcpu; /* The last processor to enable floating point */
+ savearea_vec *VMXsave; /* The VMX savearea */
+ savearea *VMXlevel; /* The VMX context level */
+ unsigned int VMXcpu; /* The last processor to enable vector */
+ struct thread_activation *facAct; /* Activation associated with context */