AxPROT[0] = 1 identifies an access as privileged. This value is easily determined for requests that are associated with a given instruction. But, in the case of a castout, which
