Intel ITANIUM ARCHITECTURE - SOFTWARE DEVELOPERS MANUAL VOLUME 1 REV 2.3 Manual page 555

• If recovery is not supported when PSR.ic=0 then GR24 - GR31 (bank 0) are
undefined and their contents have been lost. In this case, recovery is not
possible. See Section 11.3.1.1, "Resources Required for Machine Check and
Initialization Event Recovery" for details.
• GR16 through GR20 (bank 0) contain parameters which PALE_INIT passes to
SALE_ENTRY for diagnostic and recovery purposes:
• FRs: The contents of all floating-point registers are unchanged from the time of the
INIT.
• Predicates: All predicate registers have been saved in the min-state save area and
are available for use.
• BRs: The contents of all branch registers are unchanged from the time of the INIT
except the following:
• BR0 and BR1 have been saved to the min-state save area and are available for
use. Either register may have been changed from the time of entry into
PALE_CHECK.
• ARs: The contents of all application registers are unchanged from the time of the
INIT, except the RSE control register (RSC), the RSE backing store pointer (BSP),
and the ITC and RUC counters. The RSC register is unchanged, except that the
RSC.mode field will be set to 0 (enforced lazy mode) and the RSC register at the
time of the INIT has been saved in the min-state save area. A cover instruction is
executed in the PALE_INIT handler which allocates a new stack frame of zero size.
BSP will be modified to point to a new location, since all the registers from the
current frame at the time of interruption were added to the RSE dirty partition by
the allocation of a new stack frame. The ITC register will not be directly modified by
PAL, but will continue to count during the execution of the INIT handler. The RUC
register will not be directly modified by PAL, but will continue to count during the
execution of the INIT handler while the processor is active.
• CFM: The CFM register points to a zero-size current frame and all the rotating
register bases are set to zero. The CFM register at the time of the INIT has been
saved to the min-state save area in either the IFS or XFS slot depending on the
implementation.
• RSE: The RSE is in enforced lazy mode, and all stacked registers are unchanged
from the time of the INIT.
• PSR: PSR.mc is 1; PSR.mfl, PSR.mfh, and PSR.pk are unchanged; all other bits are
0. The PSR at the time of the INIT is saved in the min-state save area.
• CRs: The contents of all control registers are unchanged from the time of the INIT
with the exception of the interruption resources, which are described below.
• RRs: The contents of all region registers are unchanged from the time of the INIT.
• PKRs: The contents of all protection key registers are unchanged from the time of
the INIT.
Volume 2, Part 1: Processor Abstraction Layer
• GR16 contains the address to the first available location in the min-state
save area for use by SAL. The address is 8-byte aligned.
• GR17 contains the value of the min-state save area address stored in XR0.
• GR18 contains the Processor State Parameter, as defined in
page 2:308.
• GR19 contains the PALE_INIT return address for rendezvous, or 0 if no
return is expected. (See Section 11.3.2.2, "Multiprocessor Rendezvous
Requirements for Handling Machine Checks")
• GR20 contains the SALE_ENTRY state as defined in
Figure 11-5 on
Figure 11-4.
2:307