Lines Matching defs:firmware

285    An SPD service plugs into the EL3 runtime firmware and could be common to
304 .. _el3-runtime-firmware:
306 EL3 runtime firmware
348 The runtime firmware provides the following API for registering a handler for a
392 runtime firmware is responsible for programming the routing model. The SPD is
406 type using the ``register_interrupt_type_handler()`` API in EL3 runtime firmware.
414 after receiving an interrupt from the EL3 runtime firmware. This information
459    function is registered with the EL3 runtime firmware using the
476    registered with the EL3 runtime firmware using the
549    in Secure-EL1/Secure-EL0 will not mask FIQs. The EL3 runtime firmware will
583 firmware. It should configure any additional Secure-EL1 interrupts which the EL3
584 runtime firmware is not aware of through its platform port.
617 EL3 runtime firmware
620 The EL3 runtime firmware populates the IRQ and FIQ exception vectors referenced
625    mentioned earlier, EL3 runtime firmware always executes with the
689 The SPD service begins handling an interrupt when the EL3 runtime firmware calls