/* Send query command to EC to get the proper event number  */
int ec_query_event_num(void)
/* Send query command to EC to get the proper event number  */
int ec_query_event_num(void)
{
	return ec_query_seq(CMD_GET_EVENT_NUM);
}