CBMC
arm_builtin_headers.h File Reference

Go to the source code of this file.

Functions

void __breakpoint (int val)
 
void __cdp (unsigned int coproc, unsigned int ops, unsigned int regs)
 
void __clrex (void)
 
unsigned char __clz (unsigned int val)
 
unsigned int __current_pc (void)
 
unsigned int __current_sp (void)
 
int __disable_fiq (void)
 
int __disable_irq (void)
 
void __enable_fiq (void)
 
void __enable_irq (void)
 
double __fabs (double val)
 
float __fabs (float val)
 
void __force_stores (void)
 
unsigned int __ldrex (volatile void *ptr)
 
unsigned long long __ldrexd (volatile void *ptr)
 
unsigned int __ldrt (const volatile void *ptr)
 
void __memory_changed (void)
 
void __nop (void)
 
void __pld ()
 
void __pldw ()
 
void __pli ()
 
void __promise (expr)
 
int __qadd (int val1, int val2)
 
int __qdbl (int val)
 
int __qsub (int val1, int val2)
 
unsigned int __rbit (unsigned int val)
 
unsigned int __rev (unsigned int val)
 
unsigned int __return_address (void)
 
unsigned int __ror (unsigned int val, unsigned int shift)
 
void __schedule_barrier (void)
 
int __semihost (int val, const void *ptr)
 
void __sev (void)
 
float __sqrtf (float)
 
int __ssat (int val, unsigned int sat)
 
int __strex (unsigned int val, volatile void *ptr)
 
int __strexd (unsigned long long val, volatile void *ptr)
 
void __strt (unsigned int val, volatile void *ptr)
 
unsigned int __swp (unsigned int val, volatile void *ptr)
 
int __usat (unsigned int val, unsigned int sat)
 
void __wfe (void)
 
void __wfi (void)
 
void __yield (void)
 

Function Documentation

◆ __breakpoint()

void __breakpoint ( int  val)

◆ __cdp()

void __cdp ( unsigned int  coproc,
unsigned int  ops,
unsigned int  regs 
)

◆ __clrex()

void __clrex ( void  )

◆ __clz()

unsigned char __clz ( unsigned int  val)

◆ __current_pc()

unsigned int __current_pc ( void  )

◆ __current_sp()

unsigned int __current_sp ( void  )

◆ __disable_fiq()

int __disable_fiq ( void  )

◆ __disable_irq()

int __disable_irq ( void  )

◆ __enable_fiq()

void __enable_fiq ( void  )

◆ __enable_irq()

void __enable_irq ( void  )

◆ __fabs() [1/2]

double __fabs ( double  val)

◆ __fabs() [2/2]

float __fabs ( float  val)

◆ __force_stores()

void __force_stores ( void  )

◆ __ldrex()

unsigned int __ldrex ( volatile void *  ptr)

◆ __ldrexd()

unsigned long long __ldrexd ( volatile void *  ptr)

◆ __ldrt()

unsigned int __ldrt ( const volatile void *  ptr)

◆ __memory_changed()

void __memory_changed ( void  )

◆ __nop()

void __nop ( void  )

◆ __pld()

void __pld ( )

◆ __pldw()

void __pldw ( )

◆ __pli()

void __pli ( )

◆ __promise()

void __promise ( expr  )

◆ __qadd()

int __qadd ( int  val1,
int  val2 
)

◆ __qdbl()

int __qdbl ( int  val)

◆ __qsub()

int __qsub ( int  val1,
int  val2 
)

◆ __rbit()

unsigned int __rbit ( unsigned int  val)

◆ __return_address()

unsigned int __return_address ( void  )

◆ __rev()

unsigned int __rev ( unsigned int  val)

◆ __ror()

unsigned int __ror ( unsigned int  val,
unsigned int  shift 
)

◆ __schedule_barrier()

void __schedule_barrier ( void  )

◆ __semihost()

int __semihost ( int  val,
const void *  ptr 
)

◆ __sev()

void __sev ( void  )

◆ __sqrtf()

float __sqrtf ( float  )

◆ __ssat()

int __ssat ( int  val,
unsigned int  sat 
)

◆ __strex()

int __strex ( unsigned int  val,
volatile void *  ptr 
)

◆ __strexd()

int __strexd ( unsigned long long  val,
volatile void *  ptr 
)

◆ __strt()

void __strt ( unsigned int  val,
volatile void *  ptr 
)

◆ __swp()

unsigned int __swp ( unsigned int  val,
volatile void *  ptr 
)

◆ __usat()

int __usat ( unsigned int  val,
unsigned int  sat 
)

◆ __wfe()

void __wfe ( void  )

◆ __wfi()

void __wfi ( void  )

◆ __yield()

void __yield ( void  )