rx ← PC PC ← C_BASE_VECTORS + 0x8 MSR[UMS] ← MSR[UM], MSR[UM] ← 0, MSR[VMS] ← MSR[VM], MSR[VM] ← 0 Reservation ← 0