1/* SPDX-License-Identifier: GPL-2.0 */
2
3#ifndef __ABI_REG_OPS_H
4#define __ABI_REG_OPS_H
5#include <asm/reg_ops.h>
6
7static inline unsigned int mfcr_hint(void)
8{
9	return mfcr("cr31");
10}
11
12static inline unsigned int mfcr_ccr2(void)
13{
14	return mfcr("cr23");
15}
16#endif /* __ABI_REG_OPS_H */
17