pseudo_csr_insn:
	# i-ext
	csrr t0, 0x0
	csrw 0x0, t0
	csrs 0x0, t0
	csrc 0x0, t0
	csrwi 0x0, 31
	csrsi 0x0, 31
	csrci 0x0, 31

	rdcycle t0
	rdtime t0
	rdinstret t0

	# rv32i-ext
	rdcycleh t0
	rdtimeh t0
	rdinstreth t0

	# f-ext
	frcsr t0	# frsr
	fscsr t0, t2	# fssr
	fscsr t2	# fssr
	frrm t0
	fsrm t0, t1
	fsrm t1
	fsrmi t0, 31
	fsrmi 31
	frflags t0
	fsflags t0, t1
	fsflags t1
	fsflagsi t0, 31
	fsflagsi 31