82 #define SAVE_REGS(thread_t, retaddr)			\  argument
83 	movq	%rbp, T_RBP(thread_t);			\
84 	movq	%rbx, T_RBX(thread_t);			\
85 	movq	%r12, T_R12(thread_t);			\
86 	movq	%r13, T_R13(thread_t);			\
87 	movq	%r14, T_R14(thread_t);			\
88 	movq	%r15, T_R15(thread_t);			\
91 	movq	%rsp, T_SP(thread_t);			\
92 	movq	retaddr, T_PC(thread_t);		\
118 #define GET_THREAD_HATP(hatp, thread_t, scratch_reg)	\  argument
119 	movq	T_PROCP(thread_t), hatp;		\
135 #define	STORE_INTR_START(thread_t)			\  argument
136 	testw	$T_INTR_THREAD, T_FLAGS(thread_t);	\
140 	movq	T_INTR_START(thread_t), %rax;		\
141 	cmpxchgq %r14, T_INTR_START(thread_t);		\