/* SPDX-License-Identifier: GPL-2.0-only */

#ifndef __PICASSO_MTRR_H__
#define __PICASSO_MTRR_H__

void picasso_save_mtrrs(void);
void picasso_restore_mtrrs(void);

#endif /* __PICASSO_MTRR_H__ */