34 	pushq	%rbp
45 	pushq	%r10		/* arg7 */
47 	pushq	%r10		/* arg6 */
49 	pushq	%r10		/* return addr */
79 	pushq	%rbp
82 	pushq	%rdi		/* sysret_t pointer */
91 	pushq	%r10		/* arg7 */
93 	pushq	%r10		/* arg6 */
95 	pushq	%r10		/* return addr */
121 	pushq	%rdi		/* sysret_t pointer */

Indexes created Tue Jul 24 14:28:13 CEST 2018