Searched refs:exclaves_memory_free (Results 1 – 2 of 2) sorted by relevance
47 exclaves_memory_free(uint32_t npages, const uint32_t *pages, const xnuupcalls_pagekind_s kind);
196 exclaves_memory_free(const uint32_t npages, const uint32_t *pages, const xnuupcalls_pagekind_s kind) in exclaves_memory_free() function262 exclaves_memory_free(npages, pages, kind);