CYCV_SDRAM_VBASE
pmap_map_chunk(kernel_l1pt.pv_va, CYCV_SDRAM_VBASE, CYCV_SDRAM_BASE,
*(volatile uint32_t *) CYCV_SDRAM_VBASE = htole32(0xe59ff018);
*(volatile uint32_t *) (CYCV_SDRAM_VBASE + 0x20) = startfunc;
pmap_unmap_chunk(kernel_l1pt.pv_va, CYCV_SDRAM_VBASE, L1_S_SIZE);