Searched refs:sys_handle_kcb_identify (Results 1 - 6 of 6) sorted by relevance

/barrelfish-master/kernel/include/
H A Dsyscall.h79 struct sysret sys_handle_kcb_identify(struct capability* to, struct frame_identity *fi);
/barrelfish-master/kernel/
H A Dsyscall.c913 struct sysret sys_handle_kcb_identify(struct capability* to, struct frame_identity *fi) function
/barrelfish-master/kernel/arch/armv8/
H A Dsyscall.c933 return sys_handle_kcb_identify(to, (struct frame_identity *)sa->arg2);
/barrelfish-master/kernel/arch/armv7/
H A Dsyscall.c967 return sys_handle_kcb_identify(to, (struct frame_identity *)sa->arg2);
/barrelfish-master/kernel/arch/x86_32/
H A Dsyscall.c810 return sys_handle_kcb_identify(to);
/barrelfish-master/kernel/arch/x86_64/
H A Dsyscall.c1327 return sys_handle_kcb_identify(to, (struct frame_identity *)args[0]);

Completed in 93 milliseconds