chiark / gitweb /
properly return from short circuit interrupt