I'm trying to enable the SECMON_LP RTC on the LS1021ATWR dev board using the svns_rtc driver. I am trying to create an entry in the device tree file ls1021a.dtsi. The bindings documentation states that the interrupts must be specified. From table 5-1 of the ls1021a ARM, I see that the SECMON module is tied to PPI interrupts 142 and 143. But looking at the .dtsi, I can't map any of the interrupt IDs in the device tree to table 5-1. Where can I find the proper device tree interrupt IDS for the SECMON_LP RTC? Thanks.