rend = (reg->order < __riscv_xlen) ?
rstart + ((1UL << reg->order) - 1) : -1UL;
-#if __riscv_xlen == 32
- sbi_printf("Domain%d Region%02d %s: 0x%08lx-0x%08lx ",
-#else
- sbi_printf("Domain%d Region%02d %s: 0x%016lx-0x%016lx ",
-#endif
+ sbi_printf("Domain%d Region%02d %s: 0x%" PRILX "-0x%" PRILX " ",
dom->index, i, suffix, rstart, rend);
k = 0;
i++;
}
-#if __riscv_xlen == 32
- sbi_printf("Domain%d Next Address%s: 0x%08lx\n",
-#else
- sbi_printf("Domain%d Next Address%s: 0x%016lx\n",
-#endif
+ sbi_printf("Domain%d Next Address%s: 0x%" PRILX "\n",
dom->index, suffix, dom->next_addr);
-#if __riscv_xlen == 32
- sbi_printf("Domain%d Next Arg1 %s: 0x%08lx\n",
-#else
- sbi_printf("Domain%d Next Arg1 %s: 0x%016lx\n",
-#endif
+ sbi_printf("Domain%d Next Arg1 %s: 0x%" PRILX "\n",
dom->index, suffix, dom->next_arg1);
sbi_printf("Domain%d Next Mode %s: ", dom->index, suffix);
/* No delegation possible as mideleg does not exist*/
return;
-#if __riscv_xlen == 32
- sbi_printf("%sMIDELEG%s: 0x%08lx\n",
+ sbi_printf("%sMIDELEG%s: 0x%" PRILX "\n",
prefix, suffix, csr_read(CSR_MIDELEG));
- sbi_printf("%sMEDELEG%s: 0x%08lx\n",
+ sbi_printf("%sMEDELEG%s: 0x%" PRILX "\n",
prefix, suffix, csr_read(CSR_MEDELEG));
-#else
- sbi_printf("%sMIDELEG%s: 0x%016lx\n",
- prefix, suffix, csr_read(CSR_MIDELEG));
- sbi_printf("%sMEDELEG%s: 0x%016lx\n",
- prefix, suffix, csr_read(CSR_MEDELEG));
-#endif
}
unsigned int sbi_hart_mhpm_count(struct sbi_scratch *scratch)