PORDEVSR
printf(" pordevsr=%#x", cpu_read_4(GLOBAL_BASE + PORDEVSR));
const uint32_t pordevsr = bus_space_read_4(bst, bsh, PORDEVSR);
const uint32_t pordevsr = cpu_read_4(GLOBAL_BASE + PORDEVSR);