Save machine registers to machine stack on x86/x86-64