Searched refs:sys_idcap_identify (Results 1 - 6 of 6) sorted by path

/barrelfish-master/kernel/arch/armv7/
H A Dsyscall.c911 return sys_idcap_identify(to, idp);
/barrelfish-master/kernel/arch/armv8/
H A Dsyscall.c876 struct sysret sysret = sys_idcap_identify(cap, &id);
/barrelfish-master/kernel/arch/x86_32/
H A Dsyscall.c696 return sys_idcap_identify(cap, idp);
/barrelfish-master/kernel/arch/x86_64/
H A Dsyscall.c1227 struct sysret sysret = sys_idcap_identify(cap, &id);
/barrelfish-master/kernel/include/
H A Dsyscall.h72 struct sysret sys_idcap_identify(struct capability *cap, idcap_id_t *id);
/barrelfish-master/kernel/
H A Dsyscall.c829 struct sysret sys_idcap_identify(struct capability *cap, idcap_id_t *id) function

Completed in 143 milliseconds