Searched refs:notify_host (Results 1 - 3 of 3) sorted by relevance

/barrelfish-master/kernel/include/arch/k1om/
H A Dlinux_host.h16 static inline void notify_host(void) { function
/barrelfish-master/tools/weever/
H A Dloader.c104 static inline void notify_host(void) function
/barrelfish-master/kernel/arch/k1om/
H A Dinit.c591 notify_host();

Completed in 43 milliseconds