1/*
2 * rpmb_driver.h
3 *
4 * rpmb driver function, such as ioctl
5 *
6 * Copyright (C) 2022 Huawei Technologies Co., Ltd.
7 *
8 * This software is licensed under the terms of the GNU General Public
9 * License version 2, as published by the Free Software Foundation, and
10 * may be copied, distributed, and modified under those terms.
11 *
12 * This program is distributed in the hope that it will be useful,
13 * but WITHOUT ANY WARRANTY; without even the implied warranty of
14 * MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
15 * GNU General Public License for more details.
16 */
17
18#ifndef __RPMB_DRIVER_H
19#define __RPMB_DRIVER_H
20
21#include "rpmb.h"
22
23static inline void rpmb_driver_counter_lock(void)
24{
25}
26
27static inline void rpmb_driver_counter_unlock(void)
28{
29}
30
31int rpmb_ioctl_cmd(enum func_id id, enum rpmb_op_type operation,
32	struct storage_blk_ioc_rpmb_data *storage_data);
33
34#endif