1 /* 2 * Copyright (c) 2022 Huawei Device Co., Ltd. 3 * Licensed under the Apache License, Version 2.0 (the "License"); 4 * you may not use this file except in compliance with the License. 5 * You may obtain a copy of the License at 6 * 7 * http://www.apache.org/licenses/LICENSE-2.0 8 * 9 * Unless required by applicable law or agreed to in writing, software 10 * distributed under the License is distributed on an "AS IS" BASIS, 11 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied. 12 * See the License for the specific language governing permissions and 13 * limitations under the License. 14 */ 15 16 #ifndef OHOS_UTILS_MEMORY_LIBPURGEABLEMEM_COMMON_INCLUDE_UX_PAGE_TABLE_C_H 17 #define OHOS_UTILS_MEMORY_LIBPURGEABLEMEM_COMMON_INCLUDE_UX_PAGE_TABLE_C_H 18 19 #include <stdint.h> /* uint64_t */ 20 #include <stdbool.h> /* bool */ 21 #include <stddef.h> /* size_t */ 22 #include "pm_state_c.h" 23 24 #ifdef __cplusplus 25 #if __cplusplus 26 extern "C" { 27 #endif /* End of #if __cplusplus */ 28 #endif /* End of #ifdef __cplusplus */ 29 30 /* user extend page table */ 31 typedef struct UserExtendPageTable UxPageTableStruct; 32 33 bool UxpteIsEnabled(void); 34 size_t UxPageTableSize(void); 35 36 PMState InitUxPageTable(UxPageTableStruct *upt, uint64_t addr, size_t len); 37 PMState DeinitUxPageTable(UxPageTableStruct *upt); 38 39 void UxpteGet(UxPageTableStruct *upt, uint64_t addr, size_t len); 40 void UxptePut(UxPageTableStruct *upt, uint64_t addr, size_t len); 41 void UxpteClear(UxPageTableStruct *upt, uint64_t addr, size_t len); 42 bool UxpteIsPresent(UxPageTableStruct *upt, uint64_t addr, size_t len); 43 44 #ifdef __cplusplus 45 #if __cplusplus 46 } 47 #endif /* End of #if __cplusplus */ 48 #endif /* End of #ifdef __cplusplus */ 49 #endif /* OHOS_UTILS_MEMORY_LIBPURGEABLEMEM_COMMON_INCLUDE_UX_PAGE_TABLE_C_H */ 50