AM5728: Timer resource assignment

My questions are below,

1. Only the timer defined in Linux DTS, as below timers property, user could create the timer in dsp1 or dsp2 corresponding, right?

&dsp1 {
status = "okay";
memory-region = <&dsp1_cma_pool>;
mboxes = <&mailbox5 &mbox_dsp1_ipc3x>;
//timers = <&timer5>;
//timers = <&timer5>, <&timer6>;
timers = <&timer5>, <&timer15>;
watchdog-timers = <&timer10>;
};

&dsp2 {
status = "okay";
memory-region = <&dsp2_cma_pool>;
mboxes = <&mailbox6 &mbox_dsp2_ipc3x>;
timers = <&timer6>, <&timer14>, <&timer16>;
watchdog-timers = <&timer13>;
};

2. Only  the timer defined in Linux DTS, user could enable the availability by "TimerSupport.availMask = 0xB020;", right?

3. How to efficient to get to know which timer is used? How about Hwi?

4. My DSP1 could get the IPC remoteproc trace0 log with TimeStamp, which DSP2's log timestamp is always 0.000. 

Don't which setting need to set?

5. As I set the default ISR, for Timer16, I set as below, but I can't get the Hwi triggered，though I have set the Hwi's eventID to 81, don't know the reason.

// Connect GP Timer 16 to EventId 81 (XBAR Instance 49)
IntXbar.connectMeta(49, 342);

My BIOS version is 6.52.00.12ex02_messageq_V2_src.zip