/*
 * Copyright (c) 2020-2021 NXP.
 * All rights reserved.
 */
#ifndef _S32K3_TRIGGER_CONFIG_H_
#define _S32K3_TRIGGER_CONFIG_H_

extern float gModelBaseRate;

void s32k3_trigger_config(float modelBaseRate);

#endif /* _S32K3_TRIGGER_CONFIG_H */
