fix another scheduling bug and rename registers_t for better
understanding