register_t
register_t rfl;
register_t rfl;
static __inline register_t
register_t rflags;
intr_restore(register_t rflags)
register_t intr_disable(void);
void intr_restore(register_t rf);
static __inline register_t
register_t eflags;
intr_restore(register_t eflags)
register_t intr_disable(void);
void intr_restore(register_t ef);
#define _ALIGNBYTES (sizeof(register_t) - 1)
register_t tf_rdi;
register_t tf_rsi;
register_t tf_rdx;
register_t tf_rcx;
register_t tf_r8;
register_t tf_r9;
register_t tf_rax;
register_t tf_rbx;
register_t tf_rbp;
register_t tf_r10;
register_t tf_r11;
register_t tf_r12;
register_t tf_r13;
register_t tf_r14;
register_t tf_r15;
register_t tf_addr;
register_t tf_err;
register_t tf_rip;
register_t tf_cs;
register_t tf_rflags;
register_t tf_rsp;
register_t tf_ss;