/barrelfish-master/lib/barrelfish/arch/aarch64/ |
H A D | dispatch.c | 130 disp_resume(dispatcher_handle_t handle, argument 170 void disp_switch(dispatcher_handle_t handle, argument 202 void disp_save(dispatcher_handle_t handle, argument 230 dispatcher_handle_t handle = disp_disable(); local 255 disp_arch_init(dispatcher_handle_t handle) argument [all...] |
/barrelfish-master/include/arch/x86_32/barrelfish_kpi/ |
H A D | dispatcher_shared_arch.h | 28 static inline bool dispatcher_is_disabled_ip(dispatcher_handle_t handle, argument 41 dispatcher_get_enabled_save_area(dispatcher_handle_t handle) argument 47 dispatcher_get_disabled_save_area(dispatcher_handle_t handle) argument 53 dispatcher_get_trap_save_area(dispatcher_handle_t handle) argument 59 dispatcher_get_enabled_fpu_save_area(dispatcher_handle_t handle) argument 65 dispatcher_get_disabled_fpu_save_area(dispatcher_handle_t handle) argument [all...] |
/barrelfish-master/lib/barrelfish/arch/arm/ |
H A D | dispatch.c | 114 disp_resume(dispatcher_handle_t handle, argument 152 void disp_switch(dispatcher_handle_t handle, argument 184 void disp_save(dispatcher_handle_t handle, argument 212 dispatcher_handle_t handle = disp_disable(); local 237 disp_arch_init(dispatcher_handle_t handle) argument [all...] |
/barrelfish-master/lib/barrelfish/ |
H A D | event_mutex.c | 75 dispatcher_handle_t handle = disp_disable(); local
|
H A D | ump_endpoint.c | 64 dispatcher_handle_t handle = disp_try_disable(&wd); local
|
/barrelfish-master/usr/acpi/ |
H A D | buttons.c | 44 static void power_button_notify_handler(ACPI_HANDLE handle, uint32_t value, argument 53 static ACPI_STATUS power_button_probe(ACPI_HANDLE handle, uint32_t nestlevel, argument
|
/barrelfish-master/usr/acpi/arch/x86/ |
H A D | video.c | 22 static ACPI_STATUS walk_video_device(ACPI_HANDLE handle, UINT32 level, argument
|
/barrelfish-master/usr/drivers/ioat_dma/ |
H A D | ioat_mgr_service.c | 77 errval_t ioat_mgr_svc_release(struct ioat_dev_handle *handle) argument 53 ioat_mgr_svc_acquire(struct ioat_dma_mgr_binding *binding, struct ioat_dev_handle **handle) argument
|
/barrelfish-master/lib/libc/sys/barrelfish/ |
H A D | lock.c | 25 dispatcher_handle_t handle = curdispatcher(); local 67 dispatcher_handle_t handle = curdispatcher(); local
|
/barrelfish-master/lib/trace/ |
H A D | trace.c | 57 dispatcher_handle_t handle = curdispatcher(); local 69 dispatcher_handle_t handle = curdispatcher(); local 83 trace_setup_child(struct cnoderef taskcn, dispatcher_handle_t handle) argument
|
/barrelfish-master/usr/tests/testdesc/ |
H A D | testdesc-child.c | 24 static void print_file_fd(void *handle) argument 32 static void print_unixsock_fd(void *handle) argument [all...] |
/barrelfish-master/lib/libc/locale/ |
H A D | cXXrtomb_iconv.h | 59 struct _citrus_iconv *handle; local
|
H A D | mbrtocXX_iconv.h | 63 struct _citrus_iconv *handle; local
|
/barrelfish-master/include/vm/ |
H A D | default_pager.c | 79 default_pager_alloc(void *handle, vm_ooffset_t size, vm_prot_t prot, argument
|
/barrelfish-master/lib/devif/backends/net/mlx4/include/linux/ |
H A D | dmapool.h | 69 dma_pool_alloc(struct dma_pool *pool, gfp_t mem_flags, dma_addr_t *handle) argument
|
/barrelfish-master/lib/barrelfish/arch/x86_64/ |
H A D | dispatch.c | 35 void disp_arch_init(dispatcher_handle_t handle) argument 63 void disp_resume(dispatcher_handle_t handle, arch_registers_state_t *archregs) argument 146 disp_switch(dispatcher_handle_t handle, arch_registers_state_t *from_state, argument 219 disp_save(dispatcher_handle_t handle, arch_registers_state_t *state, argument 275 dispatcher_handle_t handle = disp_disable(); local [all...] |
/barrelfish-master/include/target/x86_32/barrelfish_kpi/ |
H A D | dispatcher_shared_target.h | 35 get_dispatcher_shared_x86_32(dispatcher_handle_t handle) argument 41 dispatcher_x86_32_get_enabled_save_area(dispatcher_handle_t handle) argument 49 dispatcher_x86_32_get_disabled_save_area(dispatcher_handle_t handle) argument 57 dispatcher_x86_32_get_trap_save_area(dispatcher_handle_t handle) argument 65 dispatcher_x86_32_get_enabled_fpu_save_area(dispatcher_handle_t handle) argument 73 dispatcher_x86_32_get_disabled_fpu_save_area(dispatcher_handle_t handle) argument [all...] |
/barrelfish-master/usr/bench/vfs/ |
H A D | vfs_bench.c | 29 vfs_handle_t handle; local
|
/barrelfish-master/lib/barrelfish/arch/x86_32/ |
H A D | dispatch.c | 33 void disp_arch_init(dispatcher_handle_t handle) argument 67 void disp_resume(dispatcher_handle_t handle, arch_registers_state_t *archregs) argument 130 void disp_switch(dispatcher_handle_t handle, arch_registers_state_t *from_state, argument 200 void disp_save(dispatcher_handle_t handle, arch_registers_state_t *state, argument 254 dispatcher_handle_t handle = disp_disable(); local [all...] |
/barrelfish-master/lib/cxx/cxx/include/ |
H A D | refstring.h | 47 void* handle = dlopen("/usr/lib/libstdc++.6.dylib", RTLD_NOLOAD); variable
|
/barrelfish-master/lib/cxx/cxxabi/include/ |
H A D | refstring.h | 51 void* handle = dlopen("/usr/lib/libstdc++.6.dylib", RTLD_NOLOAD); variable
|
/barrelfish-master/lib/vfs/ |
H A D | vfs_blockdevfs_megaraid.c | 24 errval_t blockdevfs_megaraid_open(void *handle) argument 30 errval_t blockdevfs_megaraid_close(void *handle) argument 36 errval_t blockdevfs_megaraid_flush(void *handle) argument 49 errval_t blockdevfs_megaraid_read(void *handle, size_t pos, void *buffer, argument 58 errval_t blockdevfs_megaraid_write(void *handle, size_t pos, const void *buffer, argument 78 struct megaraid_handle *handle local [all...] |
/barrelfish-master/lib/posixcompat/ |
H A D | dlfcn.c | 32 void *dlsym(void *handle, const char *symbol) argument 52 int dlclose(void *handle) argument
|
/barrelfish-master/lib/libc/nameser/ |
H A D | ns_parse.c | 77 int ns_msg_getflag(ns_msg handle, int flag) { argument 106 ns_initparse(const u_char *msg, int msglen, ns_msg *handle) { argument 142 ns_parserr(ns_msg *handle, ns_sect section, int rrnum, ns_rr *rr) argument 205 ns_parserr2(ns_msg *handle, ns_sect section, int rrnum, ns_rr2 *rr) argument [all...] |
/barrelfish-master/lib/libc/rpc/ |
H A D | svc_generic.c | 92 void *handle; local
|