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
82extern unsigned int BSP_bus_frequency;
86extern unsigned int BSP_processor_frequency;
90extern 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)))
101int BSP_disconnect_clock_handler(
void);
111void BSP_ask_for_reset(
void);
DEFAULT_INITIAL_EXTENSION Support.
int BSP_connect_clock_handler(void)
Clock Tick Device Driver.
Definition: p_clock.c:37