46 #ifndef LIBBSP_POWERPC_VIRTEX5_BSP_H 47 #define LIBBSP_POWERPC_VIRTEX5_BSP_H 65 #define BSP_INTERRUPT_STACK_SIZE (16 * 1024) 69 #define ALIGN_REGS 0x0140 82 extern unsigned int BSP_bus_frequency;
86 extern unsigned int BSP_processor_frequency;
90 extern unsigned int BSP_time_base_divisor;
95 #define BSP_Convert_decrementer( _value ) \ 96 ((unsigned long long) ((((unsigned long long)BSP_time_base_divisor) * 1000000ULL) /((unsigned long long) BSP_bus_frequency)) * ((unsigned long long) (_value))) 101 int BSP_disconnect_clock_handler(
void);
111 void BSP_ask_for_reset(
void);
DEFAULT_INITIAL_EXTENSION Support.
int BSP_connect_clock_handler(void)
Clock Tick Device Driver.
Definition: p_clock.c:37