// SPDX-License-Identifier: MIT

#include <kernel/arch.h>
#include <kernel/percpu.h>
#include <kernel/usercopy.h>

bool usercopy_read(void* dst, const __user void* src, size_t len) {
    return arch_usercopy_read(dst, src, len, &percpu_get()->sched.current->usercopy_region);
}

bool usercopy_write(__user void* dst, const void* src, size_t len) {
    return arch_usercopy_write(dst, src, len, &percpu_get()->sched.current->usercopy_region);
}