26 |
|
|
27 |
/* Return the pointer to the kernel interface page, the API version, |
/* Return the pointer to the kernel interface page, the API version, |
28 |
the API flags, and the kernel ID. */ |
the API flags, and the kernel ID. */ |
|
|
|
29 |
static inline _L4_kip_t |
static inline _L4_kip_t |
30 |
_L4_attribute_always_inline _L4_attribute_const |
_L4_attribute_always_inline _L4_attribute_const |
31 |
_L4_kernel_interface (_L4_api_version_t *api_version, |
_L4_kernel_interface (_L4_api_version_t *api_version, |
32 |
_L4_api_flags_t *api_flags, _L4_kernel_id_t *kernel_id) |
_L4_api_flags_t *api_flags, _L4_kernel_id_t *kernel_id) |
33 |
{ |
{ |
34 |
|
#ifndef _L4_TEST_ENVIRONMENT |
35 |
void *kip; |
void *kip; |
36 |
|
|
37 |
/* The KernelInterface system call is invoked by "lock; nop" and |
/* The KernelInterface system call is invoked by "lock; nop" and |
43 |
"=d" (*api_flags), "=S" (*kernel_id)); |
"=d" (*api_flags), "=S" (*kernel_id)); |
44 |
|
|
45 |
return kip; |
return kip; |
46 |
|
#else |
47 |
|
_L4_TEST_KERNEL_INTERFACE_IMPL |
48 |
|
#endif /* _L4_TEST_ENVIRONMENT */ |
49 |
} |
} |
50 |
|
|
51 |
|
|