/*
* ======== GateProcessSupport_Instance_finalize ========
*/
Void GateProcessSupport_Instance_finalize(GateProcessSupport_Handle gate)
{
GateMutexPri_Handle bios6gate;
bios6gate = GateProcessSupport_Instance_State_gate(gate);
GateMutexPri_destruct(GateMutexPri_struct(bios6gate));
}
/*
* ======== GateThreadSupport_Instance_init ========
*/
Void GateThreadSupport_Instance_init(GateThreadSupport_Handle gate,
const GateThreadSupport_Params* params)
{
GateMutexPri_Handle bios6gate;
bios6gate = GateThreadSupport_Instance_State_gate(gate);
GateMutexPri_construct(GateMutexPri_struct(bios6gate), NULL);
}