Lines Matching refs:parameter
38 The API should return whether the interrupt ID (first parameter) is categorized
51 The API should return whether the interrupt ID (first parameter) is categorized
64 The API should return whether the interrupt ID (first parameter) is categorized
78 first parameter, ``id``.
92 This API should enable the interrupt ID specified by the first parameter,
107 This API should disable the interrupt ID specified by the first parameter,
123 This API should set the priority of the interrupt specified by first parameter
124 ``id`` to the value set by the second parameter ``priority``.
138 parameter ``type`` shall be one of ``INTR_TYPE_EL3``, ``INTR_TYPE_S_EL1``, or
173 This API should set the interrupt specified by first parameter ``id`` to the
174 type specified by second parameter ``type``. The ``type`` parameter can be
212 This API should raise an EL3 SGI. The first parameter, ``sgi_num``, specifies
213 the ID of the SGI. The second parameter, ``target``, must be the MPIDR of the
231 specified by first parameter ``id`` to that specified by the second parameter
234 The ``routing_mode`` parameter can be one of:
237 system. The ``mpidr`` parameter is ignored in this case.
240 value is specified by the parameter ``mpidr``.
254 This API should set the interrupt specified by first parameter ``id`` to
271 parameter ``id``.
285 This API should set the priority mask (first parameter) in the interrupt