blob: 00fee6a296562ef5e52226e7af8135429fdd8390 [file] [log] [blame]
/*
* Copyright (c) 2024, Tenstorrent AI ULC
*
* SPDX-License-Identifier: Apache-2.0
*/
#include <stddef.h>
#include <zephyr/kernel.h>
#include <zephyr/posix/sys/mman.h>
#include <zephyr/kernel/mm/demand_paging.h>
int mlock(const void *addr, size_t len)
{
if (IS_ENABLED(CONFIG_DEMAND_PAGING)) {
void *const _addr = (void *)addr;
k_mem_pin(_addr, len);
return 0;
}
errno = ENOTSUP;
return -1;
}
int munlock(const void *addr, size_t len)
{
if (IS_ENABLED(CONFIG_DEMAND_PAGING)) {
void *const _addr = (void *)addr;
k_mem_unpin(_addr, len);
return 0;
}
errno = ENOTSUP;
return -1;
}