1 /*
2 * Copyright (C) 2022 Huawei Technologies Co., Ltd.
3 * Licensed under the Mulan PSL v2.
4 * You can use this software according to the terms and conditions of the Mulan PSL v2.
5 * You may obtain a copy of Mulan PSL v2 at:
6 * http://license.coscl.org.cn/MulanPSL2
7 * THIS SOFTWARE IS PROVIDED ON AN "AS IS" BASIS, WITHOUT WARRANTIES OF ANY KIND, EITHER EXPRESS OR
8 * IMPLIED, INCLUDING BUT NOT LIMITED TO NON-INFRINGEMENT, MERCHANTABILITY OR FIT FOR A PARTICULAR
9 * PURPOSE.
10 * See the Mulan PSL v2 for more details.
11 */
12 #include "rpmb_fcntl.h"
13 #include "stdint.h"
14
TEE_RPMB_FS_Init(void)15 TEE_Result TEE_RPMB_FS_Init(void)
16 {
17 return TEE_ERROR_NOT_SUPPORTED;
18 }
19
TEE_RPMB_FS_Format(void)20 TEE_Result TEE_RPMB_FS_Format(void)
21 {
22 return TEE_ERROR_NOT_SUPPORTED;
23 }
24
TEE_RPMB_FS_Write(const char * filename,const uint8_t * buf,size_t size)25 TEE_Result TEE_RPMB_FS_Write(const char *filename, const uint8_t *buf, size_t size)
26 {
27 (void)filename;
28 (void)buf;
29 (void)size;
30 return TEE_ERROR_NOT_SUPPORTED;
31 }
32
TEE_RPMB_FS_Read(const char * filename,uint8_t * buf,size_t size,uint32_t * count)33 TEE_Result TEE_RPMB_FS_Read(const char *filename, uint8_t *buf, size_t size, uint32_t *count)
34 {
35 (void)filename;
36 (void)buf;
37 (void)size;
38 (void)count;
39 return TEE_ERROR_NOT_SUPPORTED;
40 }
41
TEE_RPMB_FS_Rename(const char * old_name,const char * new_name)42 TEE_Result TEE_RPMB_FS_Rename(const char *old_name, const char *new_name)
43 {
44 (void)old_name;
45 (void)new_name;
46 return TEE_ERROR_NOT_SUPPORTED;
47 }
48
TEE_RPMB_FS_Rm(const char * filename)49 TEE_Result TEE_RPMB_FS_Rm(const char *filename)
50 {
51 (void)filename;
52 return TEE_ERROR_NOT_SUPPORTED;
53 }
54
TEE_RPMB_FS_Stat(const char * filename,struct rpmb_fs_stat * stat)55 TEE_Result TEE_RPMB_FS_Stat(const char *filename, struct rpmb_fs_stat *stat)
56 {
57 (void)filename;
58 (void)stat;
59 return TEE_ERROR_NOT_SUPPORTED;
60 }
61
TEE_RPMB_FS_StatDisk(struct rpmb_fs_statdisk * stat)62 TEE_Result TEE_RPMB_FS_StatDisk(struct rpmb_fs_statdisk *stat)
63 {
64 (void)stat;
65 return TEE_ERROR_NOT_SUPPORTED;
66 }
67
TEE_RPMB_FS_SetAttr(const char * filename,uint32_t fmode)68 TEE_Result TEE_RPMB_FS_SetAttr(const char *filename, uint32_t fmode)
69 {
70 (void)filename;
71 (void)fmode;
72 return TEE_ERROR_NOT_SUPPORTED;
73 }
74
TEE_RPMB_FS_Erase(void)75 TEE_Result TEE_RPMB_FS_Erase(void)
76 {
77 return TEE_ERROR_NOT_SUPPORTED;
78 }
79
TEE_RPMB_KEY_Status(void)80 uint32_t TEE_RPMB_KEY_Status(void)
81 {
82 return TEE_ERROR_NOT_SUPPORTED;
83 }
84
TEE_RPMB_FS_Write_Attr(const char * filename,const uint8_t * buf,size_t size,uint32_t fmode)85 TEE_Result TEE_RPMB_FS_Write_Attr(const char *filename, const uint8_t *buf, size_t size, uint32_t fmode)
86 {
87 (void)filename;
88 (void)buf;
89 (void)size;
90 (void)fmode;
91 return TEE_ERROR_NOT_SUPPORTED;
92 }
93
tee_rpmb_fs_getseclevel(uint32_t * sec_level)94 TEE_Result tee_rpmb_fs_getseclevel(uint32_t *sec_level)
95 {
96 (void)sec_level;
97 return TEE_ERROR_NOT_SUPPORTED;
98 }
99