void process_dwRSTn_irq(uint32_t id, uint32_t mask) { instance_notify_DW1000_inIDLE(1); }
void process_dwRSTn_irq(void) { instance_notify_DW1000_inIDLE(1); }