RGBtoHDMI/src/startup.h

55 wiersze
1.0 KiB
C

// startup.h
#ifndef STARTUP_H
#define STARTUP_H
/* Found in the *start.S file, implemented in assembler */
extern void _start( void );
extern void _enable_interrupts( void );
extern void _set_interrupts( int cpsr );
extern int _disable_interrupts( void );
extern unsigned int _get_cpsr();
extern unsigned int _get_cycle_counter();
extern unsigned int _init_cycle_counter();
extern unsigned int _get_stack_pointer();
extern void _enable_unaligned_access();
extern void _enable_l1_cache();
extern void _invalidate_icache();
extern void _invalidate_dcache();
extern void _clean_invalidate_dcache();
extern void _invalidate_dcache_mva(void *address);
extern void _clean_invalidate_dcache_mva(void *address);
extern void _invalidate_dtlb();
extern void _invalidate_dtlb_mva(void *address);
extern void __data_memory_barrier();
extern unsigned int _get_core();
extern void _init_core();
extern void _spin_core();
extern unsigned int _get_hardware_id();
extern unsigned int _get_peripheral_base();
#endif