x86_assembler.c File Reference

Go to the source code of this file.

Functions
void	__asm_fnstcw (void *dest)
void	__asm_fstcw (void *dest)
void	__asm_fldcw (void *src)
void	__asm_mfence (void)
void	__asm_sfence (void)
void	__asm_lfence (void)

Variables
int	__CPROVER_rounding_mode

Function Documentation

__asm_fldcw()

void __asm_fldcw

(

void *

src

)

Definition at line 26 of file x86_assembler.c.

__asm_fnstcw()

void __asm_fnstcw

(

void *

dest

)

Definition at line 6 of file x86_assembler.c.

__asm_fstcw()

void __asm_fstcw

(

void *

dest

)

Definition at line 16 of file x86_assembler.c.

__asm_lfence()

void __asm_lfence

(

void

)

Definition at line 48 of file x86_assembler.c.

__asm_mfence()

void __asm_mfence

(

void

)

Definition at line 34 of file x86_assembler.c.

__asm_sfence()

void __asm_sfence

(

void

)

Definition at line 41 of file x86_assembler.c.

Variable Documentation

__CPROVER_rounding_mode

int __CPROVER_rounding_mode

extern

Definition at line 14 of file x86_assembler.c.