Processor support circuitry