/*
 * Copyright (c) 2025, MediaTek Inc. All rights reserved.
 *
 * SPDX-License-Identifier: BSD-3-Clause
 */

#include <drivers/mminfra_public.h>

int mminfra_get_if_in_use(void)
{
	return 0;
}

int mminfra_put(void)
{
	return 0;
}
