47 [kDtMbxRegBlockCore] = 0x22000000,
48 [kDtMbxRegBlockSoc] = 0xffffffff,
66 [kDtMbxRegBlockCore] = 0x22000100,
67 [kDtMbxRegBlockSoc] = 0xffffffff,
85 [kDtMbxRegBlockCore] = 0x22000200,
86 [kDtMbxRegBlockSoc] = 0xffffffff,
104 [kDtMbxRegBlockCore] = 0x22000300,
105 [kDtMbxRegBlockSoc] = 0xffffffff,
123 [kDtMbxRegBlockCore] = 0x22000400,
124 [kDtMbxRegBlockSoc] = 0xffffffff,
142 [kDtMbxRegBlockCore] = 0x22000500,
143 [kDtMbxRegBlockSoc] = 0xffffffff,
161 [kDtMbxRegBlockCore] = 0x22000600,
162 [kDtMbxRegBlockSoc] = 0xffffffff,
180 [kDtMbxRegBlockCore] = 0x22000800,
181 [kDtMbxRegBlockSoc] = 0xffffffff,
199 [kDtMbxRegBlockCore] = 0x22040000,
200 [kDtMbxRegBlockSoc] = 0xffffffff,
218 [kDtMbxRegBlockCore] = 0x22040100,
219 [kDtMbxRegBlockSoc] = 0xffffffff,
241#define TRY_GET_DT(dt, default) ({ if ((dt) < (dt_mbx_t)0 || (dt) >= kDtMbxCount) return (default); &mbx_desc[dt]; })
259 return TRY_GET_DT(dt, 0xdeadbeef)->reg_addr[reg_block];
266 return TRY_GET_DT(dt, 0xdeadbeef)->mem_addr[mem];
280 if (first_irq == kDtPlicIrqIdNone) {
281 return kDtPlicIrqIdNone;
291 if (first_irq == kDtPlicIrqIdNone) {
304 return (
dt_alert_id_t)((uint32_t)mbx_desc[dt].first_alert + (uint32_t)alert);
311 if (alert < mbx_desc[dt].first_alert || alert >= mbx_desc[dt].first_alert + (
dt_alert_id_t)count) {