Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
Merge pull request #160 from 00xc/stage2
stage2: rename `push_regs` to `push_regs_stage2`
- Loading branch information