gistfile1.c

{	/* partition 1 **********************************************	*/
	/* PMK_CALLBACK_INVALID	*/
	NULL,							
	/* PMK_CALLBACK_POS_ENTRY			*/
	(pal_function_pointer) __wrap_boot_card,
	/* PMK_CALLBACK_AIRPEX_ENTRY	*/
	P1entry_point,
	/* PMK_CALLBACK_AIRPEX_TICK	*/
	NULL,
	/* PMK_CALLBACK_GET_PORTS	*/
	P1get_usr_ports,
	/* PMK_CALLBACK_REFRESH_PORTS	*/
	P1refresh_ports,
	/* PMK_CALLBACK_KTHREAD_SET	*/
	P1set_kthread_id,
	/* PMK_CALLBACK_RESUME_KTHREAD	*/
	P1resume_kthread,
	/* PMK_CALLBACK_INCR_ISR_NEST	*/
	(pal_function_pointer) pal_no_os_incr_nest_level,
	/* PMK_CALLBACK_THREAD_DISPATCH	*/
	(pal_function_pointer) pal_no_os_Thread_Dispatch,
	/* PMK_CALLBACK_POS_CLOCK_TICK	*/
	(pal_function_pointer) rtems_clock_update,
	/* PMK_CALLBACK_POS_ISR_DISPATCHER	*/
	(pal_function_pointer) pal_no_os_isr_dispatcher,
	/* PMK_CALLBACK_POS_IS_SYS_READY	*/
	(pal_function_pointer) pal_is_system_ready,
	/* PMK_CALLBACK_AIRPEX_GET_PSTATE	*/
	NULL,
	/* PMK_CALLBACK_HM_PART_CALLBACK	*/
	(pal_function_pointer) P1hm_part_callback,
	/* PMK_CALLBACK_AIRPEX_DETECT_EH */
	NULL,
	/* PMK_CALLBACK_AIRPEX_REG_ERROR */
	NULL,
	/* PMK_CALLBACK_AIRPEX_ACTIV_EH */
	NULL,
	/* PMK_CALLBACK_GET_CONFIGURATION */
	(pal_function_pointer) P1get_configuration,
	/*PMK_CALLBACK_POS_UPDATE_TOD*/
	_TOD_Update,
	/* PMK_CALLBACK_INIT_USER_TASKS_P */
	(pal_function_pointer) P1get_initialize_user_tasks_p,
},