>	_i386_lock_unlock_with_flush:
>	00199d20	movl	0x04(%esp,1),%edx
>	00199d24	movl	$0x00000000,0x00(%edx)
>	00199d2b	mfence
>	00199d2e	clflushl	0x00(%edx)
>	00199d32	decl	%gs:0x00000018
>	00199d39	jne	0x00199d46
>	00199d3b	pushl	%eax
>	00199d3c	pushl	%ecx
>	00199d3d	pushl	%edx
>	00199d3e	calll	_kernel_preempt_check
>	00199d43	popl	%edx
>	00199d44	popl	%ecx
>	00199d45	popl	%eax
>	00199d46	ret
>	00199d47	nop
>	00199d48	nop
>	00199d49	nop
>	00199d4a	nop
>	00199d4b	nop
>	00199d4c	nop
>	00199d4d	nop
>	00199d4e	nop
>	00199d4f	nop