Lines Matching refs:parameter

32 The API should return whether the interrupt ID (first parameter) is categorized
45 The API should return whether the interrupt ID (first parameter) is categorized
58 The API should return whether the interrupt ID (first parameter) is categorized
72 first parameter, ``id``.
86 This API should enable the interrupt ID specified by the first parameter,
101 This API should disable the interrupt ID specified by the first parameter,
117 This API should set the priority of the interrupt specified by first parameter
118 ``id`` to the value set by the second parameter ``priority``.
132 parameter ``type`` shall be one of ``INTR_TYPE_EL3``, ``INTR_TYPE_S_EL1``, or
167 This API should set the interrupt specified by first parameter ``id`` to the
168 type specified by second parameter ``type``. The ``type`` parameter can be
206 This API should raise an EL3 SGI. The first parameter, ``sgi_num``, specifies
207 the ID of the SGI. The second parameter, ``target``, must be the MPIDR of the
225 specified by first parameter ``id`` to that specified by the second parameter
228 The ``routing_mode`` parameter can be one of:
231   system. The ``mpidr`` parameter is ignored in this case.
234   value is specified by the parameter ``mpidr``.
248 This API should set the interrupt specified by first parameter ``id`` to
265 parameter ``id``.
279 This API should set the priority mask (first parameter) in the interrupt