45 [kDtMbxRegBlockCore] = 0x22000000,
46 [kDtMbxRegBlockSoc] = 0xffffffff,
60 [kDtMbxRegBlockCore] = 0x22000100,
61 [kDtMbxRegBlockSoc] = 0xffffffff,
75 [kDtMbxRegBlockCore] = 0x22000200,
76 [kDtMbxRegBlockSoc] = 0xffffffff,
90 [kDtMbxRegBlockCore] = 0x22000300,
91 [kDtMbxRegBlockSoc] = 0xffffffff,
105 [kDtMbxRegBlockCore] = 0x22000400,
106 [kDtMbxRegBlockSoc] = 0xffffffff,
120 [kDtMbxRegBlockCore] = 0x22000500,
121 [kDtMbxRegBlockSoc] = 0xffffffff,
135 [kDtMbxRegBlockCore] = 0x22000600,
136 [kDtMbxRegBlockSoc] = 0xffffffff,
150 [kDtMbxRegBlockCore] = 0x22000800,
151 [kDtMbxRegBlockSoc] = 0xffffffff,
165 [kDtMbxRegBlockCore] = 0x22040000,
166 [kDtMbxRegBlockSoc] = 0xffffffff,
180 [kDtMbxRegBlockCore] = 0x22040100,
181 [kDtMbxRegBlockSoc] = 0xffffffff,
199#define TRY_GET_DT(dt, default) ({ if ((dt) < (dt_mbx_t)0 || (dt) >= kDtMbxCount) return (default); &mbx_desc[dt]; })
217 return TRY_GET_DT(dt, 0xdeadbeef)->base_addr[reg_block];
224 if (first_irq == kDtPlicIrqIdNone) {
225 return kDtPlicIrqIdNone;
235 if (first_irq == kDtPlicIrqIdNone) {
248 return (
dt_alert_id_t)((uint32_t)mbx_desc[dt].first_alert + (uint32_t)alert);
255 if (alert < mbx_desc[dt].first_alert || alert >= mbx_desc[dt].first_alert + (
dt_alert_id_t)count) {