Searched defs:invoke_kernel_get_core_id (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/include/barrelfish/
H A Dinvocations.h532 static inline errval_t invoke_kernel_get_core_id(struct capref kern_cap, function
/barrelfish-master/include/arch/x86_32/barrelfish/
H A Dinvocations_arch.h541 static inline errval_t invoke_kernel_get_core_id(struct capref kern_cap, function

Completed in 48 milliseconds