/* SPDX-License-Identifier: GPL-2.0 */
#ifndef _DOVETAIL_MM_INFO_H
#define _DOVETAIL_MM_INFO_H

/*
 * Placeholder for per-mm state information defined by the co-kernel.
 */

struct oob_mm_state {
};

#endif /* !_DOVETAIL_MM_INFO_H */