// SPDX-License-Identifier: MIT

#include <zinnia/archctl.h>
#include <kernel/vdso.h>

zn_status_t zn_archctl(zn_archctl_t op, void* value) {
    return zn_syscall2(op, value, ZN_SYSCALL_ARCHCTL);
}

VDSO_SYMBOL(zn_archctl);