/*
 *  Do not modify this file; it is automatically 
 *  generated and any modifications will be overwritten.
 *
 * @(#) xdc-F05
 */

#ifndef ti_ndk_hal_timer_bios__
#define ti_ndk_hal_timer_bios__



#endif /* ti_ndk_hal_timer_bios__ */ 
