docs/components/platform-interrupt-controller-API.rst

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
167 This API should set the interrupt specified by first parameter ``id`` to the
206 This API should raise an EL3 SGI. The first parameter, ``sgi_num``, specifies
225 specified by first parameter ``id`` to that specified by the second parameter
248 This API should set the interrupt specified by first parameter ``id`` to
264 This API should clear the *Pending* status of the interrupt specified by first
279 This API should set the priority mask (first parameter) in the interrupt