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