cprover
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  )