target:
	csrr t0, satp
	csrr t0, sptbr