All tests pass on spike32 and spike64 again.
#define STACK_SIZE 512
-#if __riscv_xlen == 64
+#if XLEN == 64
# define LREG ld
# define SREG sd
# define REGBYTES 8
# update mstatus
csrr t1, CSR_MSTATUS
-#if __riscv_xlen == 32
+#if XLEN == 32
li t0, (MSTATUS_MPRV | (VM_SV32 << 24))
#else
li t0, (MSTATUS_MPRV | (VM_SV39 << 24))
.balign 0x1000
page_table:
-#if __riscv_xlen == 32
+#if XLEN == 32
.word ((0x80000000 >> 2) | PTE_V | PTE_R | PTE_W | PTE_X | PTE_G | PTE_U)
#else
.word ((0x80000000 >> 2) | PTE_V | PTE_R | PTE_W | PTE_X | PTE_G | PTE_U)
#include "../../env/encoding.h"
-#if __riscv_xlen == 64
+#if XLEN == 64
# define LREG ld
# define SREG sd
# define REGBYTES 8