lib/libjove/include/arch/x86_64/syscall.h


1
2
3
4
5
6
7
8
9
10
11
12

#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