Searched refs:exclaves_memory_page_flags_t (Results 1 – 3 of 3) sorted by relevance
51 } exclaves_memory_page_flags_t; typedef56 …* _Nonnull pages, const exclaves_memory_pagekind_t kind, const exclaves_memory_page_flags_t flags);59 …* _Nonnull pages, const exclaves_memory_pagekind_t kind, const exclaves_memory_page_flags_t flags);
156 …, uint32_t *pages, const exclaves_memory_pagekind_t kind, const exclaves_memory_page_flags_t flags) in exclaves_memory_alloc()244 …t uint32_t *pages, const exclaves_memory_pagekind_t kind, const exclaves_memory_page_flags_t flags) in exclaves_memory_free()428 exclaves_memory_page_flags_t alloc_flags = EXCLAVES_MEMORY_PAGE_FLAGS_NONE;470 exclaves_memory_page_flags_t free_flags = EXCLAVES_MEMORY_PAGE_FLAGS_NONE;520 exclaves_memory_page_flags_t alloc_flags = EXCLAVES_MEMORY_PAGE_FLAGS_NONE;572 exclaves_memory_page_flags_t free_flags = EXCLAVES_MEMORY_PAGE_FLAGS_NONE;
2066 exclaves_memory_page_flags_t alloc_flags = EXCLAVES_MEMORY_PAGE_FLAGS_NONE; in handle_response_pmm_early_alloc()