Search

Sort by

In Project(s)

Searched defs:domain_id (Results 26 - 29 of 29) sorted by relevance

/barrelfish-master/kernel/arch/armv8/
H A D	syscall.c	`549 domainid_t domain_id = sa->arg3; local`
/barrelfish-master/kernel/arch/x86_32/
H A D	syscall.c	`554 domainid_t domain_id = args[1]; local`
/barrelfish-master/kernel/arch/x86_64/
H A D	syscall.c	`941 domainid_t domain_id = args[1]; local`
/barrelfish-master/usr/eclipseclp/Pds/src/
H A D	bmsg.msg.c	`3640 bdomain_id_t domain_id; local 3671 &domain_id, local`

Completed in 65 milliseconds