Searched refs:disp_run (Results 1 - 5 of 5) sorted by relevance

/barrelfish-2018-10-04/lib/barrelfish/arch/aarch64/
H A Dentry.S24 .extern disp_run, disp_pagefault, disp_pagefault_disabled, disp_trap
36 b disp_run
/barrelfish-2018-10-04/lib/barrelfish/arch/arm/
H A Dentry.S24 .extern disp_run, disp_pagefault, disp_pagefault_disabled, disp_trap
64 branch disp_run
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_32/
H A Dentry.S26 call disp_run // Handle activation in C
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_64/
H A Dentry.S25 callq disp_run // Handle activation in C
/barrelfish-2018-10-04/lib/barrelfish/
H A Ddispatch.c45 void disp_run(dispatcher_handle_t handle);
74 void disp_run(dispatcher_handle_t handle) function
121 assert_disabled(!"disp_run: thread_run() returned!\n");
155 disp_run(handle);

Completed in 39 milliseconds