jungle_pintos_lab

Review and safely fix Pintos style issues in changed .c and .h files from a user-specified commit, commit range, staged diff, or worktree diff using docs/reference/code/CODING_CONVENTIONS_CHECKLIST.md. Use when asked to inspect recent Pintos C/header changes, check coding conventions, apply layout-only fixes, or propose/apply explicitly approved code-style fixes while avoiding assignment implementation changes.