endprologue
// On entry, r13 points to an extended save area, of size determined
// by `regdump_gpsave' above. On exit, the save area is filled in
- // and a handy map placed at its base.
+ // and a handy map placed at its base, and r5 is left pointing to the
+ // reigster map.
// Set up the map/extended save area pointer.
add r5, r13, #7