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

/barrelfish-2018-10-04/lib/crt/arch/aarch64/
H A Dcrt0.S30 // Call barrelfish_init_disabled(struct dispatcher* d, bool init_dom_arg)
31 b barrelfish_init_disabled
/barrelfish-2018-10-04/lib/crt/arch/k1om/
H A Dcrt0.S29 // Call barrelfish_init_disabled (doesn't return)
30 jmp barrelfish_init_disabled
/barrelfish-2018-10-04/lib/crt/arch/x86_32/
H A Dcrt0.S29 // Call barrelfish_init_disabled (doesn't return)
32 call barrelfish_init_disabled
/barrelfish-2018-10-04/lib/crt/arch/x86_64/
H A Dcrt0.S29 // Call barrelfish_init_disabled (doesn't return)
30 jmp barrelfish_init_disabled
/barrelfish-2018-10-04/lib/crt/arch/arm/
H A Dcrt0.S28 // Call barrelfish_init_disabled(struct dispatcher* d, bool init_dom_arg)
29 b barrelfish_init_disabled
/barrelfish-2018-10-04/lib/barrelfish/
H A Dinit.c392 void barrelfish_init_disabled(dispatcher_handle_t handle, bool init_dom_arg);
393 void barrelfish_init_disabled(dispatcher_handle_t handle, bool init_dom_arg) function

Completed in 43 milliseconds