/*
 * button_event_trigger.h
 *
 *  Created on: May 15, 2014
 *      Author: liyixiao
 */

#pragma once

#if 0 // Legacy code
extern void button_event_trigger_initialize(intptr_t exinf);

extern void ev3_usr_evt_hdr(const T_EVTINF *evtinf);

extern void ev3_kernel_evt_hdr(const T_EVTINF *evtinf);

extern USREVTHDR real_kernel_evt_hdr;
#endif
