LOC_INT_CTRL
write_csr_byte(sc, LOC_INT_CTRL, LIC_INT_ENABLE);
write_csr_byte(sc, LOC_INT_CTRL, 0);
while (read_csr_byte(sc, LOC_INT_CTRL) & LIC_INT_PENDING) {