#ifndef _LIBJOVE_ARCH_x86_64_SYSCALL_H
#define _LIBJOVE_ARCH_x86_64_SYSCALL_H 1

#include <stdint.h>

#include <kernel/object.h>
#include <jove/object-path.h>

int _syscall_invoke_mapping_get(KernelObjectPath path, uint16_t pmli, KernelObjectPath destPath);


#endif