4.7 It's means under x86-64, push the original value of %rsp. (In fact, depending on what mode an x86 processor operates under, it will do different things when instructed to push the stack pointer register.)