{HEAD ~ A method} of servicing {TAIL ~ a processor array} of a computer system by quiescing a processor selected for maintenance and removing the selected processor from a processor pool used by the computers operating system 
{ HEAD ~ A method } of servicing { TAIL ~ a processor array } of a computer system by quiescing a processor selected for maintenance and removing the selected processor from a processor pool used by the computers operating system
HEAD HEAD HEAD HEAD HEAD HEAD REL REL TAIL TAIL TAIL TAIL TAIL TAIL TAIL OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH OTH