cprover
Loading...
Searching...
No Matches
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 )