@@ -44,7 +44,7 @@ PROPERTIES
Value type: <u32>
Definition: Shall be 0.
- - no-reset
+ - pic-no-reset
Value type: <empty>
Definition: The presence of this property specifies that the
@@ -53,7 +53,10 @@ PROPERTIES
configuration registers to a sane state-- masked or
directed at other cores. This ensures that the client
program will not receive interrupts for sources not belonging
- to the client.
+ to the client. The presence of this property also mandates
+ that any initialization related to interrupt sources shall
+ be limited to sources explicitly referenced in the device tree.
INTERRUPT SPECIFIER DEFINITION