| /barrelfish-2018-10-04/usr/vmkitmon/ |
| H A D | pc16550d.h | 49 uint8_t regs[12]; member in struct:pc16550d
|
| /barrelfish-2018-10-04/kernel/arch/x86_64/ |
| H A D | exec.c | 143 struct registers_x86_64 *regs = state; local
[all...] |
| H A D | vmx_vmkit.c | 1038 struct registers_x86_64 *regs = &ctrl->regs; local
[all...] |
| /barrelfish-2018-10-04/usr/drivers/e1000/ |
| H A D | e1000n_devq.h | 20 struct capref regs; member in struct:e1000_queue
|
| H A D | e1000n.c | 413 struct capref regs; local
383 cd_create_queue_rpc(struct e1000_devif_binding *b, struct capref rx, struct capref tx, bool interrupt, uint64_t *mac, struct capref *regs, struct capref *irq, errval_t* err) argument
|
| H A D | e1000n.h | 209 struct capref regs; member in struct:e1000_driver_state
|
| /barrelfish-2018-10-04/usr/kaluga/ |
| H A D | armv7_startup.c | 182 struct allowed_registers **regs= NULL; local
258 struct allowed_registers **regs= NULL; local
[all...] |
| /barrelfish-2018-10-04/include/target/x86_64/barrelfish_kpi/ |
| H A D | registers_target.h | 53 registers_x86_64_set_entry(struct registers_x86_64 *regs, lvaddr_t entry) argument
62 registers_x86_64_set_param(struct registers_x86_64 *regs, uint64_t param) argument
68 registers_x86_64_get_param(struct registers_x86_64 *regs, uint64_t *param) argument
74 registers_x86_64_get_ip(struct registers_x86_64 *regs) argument
80 registers_x86_64_get_sp(struct registers_x86_64 *regs) argument
[all...] |
| /barrelfish-2018-10-04/usr/drivers/vbe/ |
| H A D | vbe.c | 61 struct int10_regs regs = { local
80 struct int10_regs regs = { local
95 struct int10_regs regs = { local
111 struct int10_regs regs = { local
194 struct int10_regs regs = { local
227 struct int10_regs regs = { local
[all...] |
| H A D | int10.c | 313 void int10(struct int10_regs *regs) argument
[all...] |
| /barrelfish-2018-10-04/lib/barrelfish/ |
| H A D | dispatch.c | 327 arch_registers_state_t *regs = dispatcher_get_enabled_save_area(handle); local
454 arch_registers_state_t *regs local
[all...] |
| H A D | threads.c | 1451 thread_deliver_exception_disabled(dispatcher_handle_t handle, enum exception_type type, int subtype, void *addr, arch_registers_state_t *regs) argument
[all...] |
| /barrelfish-2018-10-04/lib/barrelfish/include/ |
| H A D | threads_priv.h | 50 arch_registers_state_t regs __attribute__ ((aligned (16))); ///< Register state snapshot member in struct:thread
|
| /barrelfish-2018-10-04/usr/examples/xmpl-cow/ |
| H A D | main.c | 29 handler(enum exception_type type, int subtype, void *vaddr, arch_registers_state_t *regs) argument
|
| /barrelfish-2018-10-04/usr/drivers/solarflare/ |
| H A D | devif_backend_solarflare.c | 588 struct capref regs; local
|
| H A D | sfn5122f_cdriver.c | 1303 struct capref regs; local
1192 cd_create_queue_rpc(struct sfn5122f_devif_binding *b, struct capref frame, bool user, bool interrupt, bool qzero, uint8_t core, uint8_t msix_vector, uint64_t *mac, uint16_t *qid, struct capref *regs, errval_t *ret_err) argument
|
| /barrelfish-2018-10-04/lib/devif/backends/net/e10k/ |
| H A D | devif_backend_e10k.c | 558 struct capref regs; local
418 map_device_memory(struct e10k_queue* q, struct capref regs) argument
|
| H A D | e10k_queue.h | 83 struct capref regs; member in struct:e10k_queue
|
| /barrelfish-2018-10-04/include/arch/aarch64/barrelfish_kpi/ |
| H A D | registers_arch.h | 99 uint64_t regs[sizeof(struct registers_aarch64_named) / sizeof(uint64_t)]; member in union:registers_aarch64
108 registers_set_entry(arch_registers_state_t *regs, lvaddr_t entry) argument
114 registers_set_param(arch_registers_state_t *regs, uint64_t param) argument
120 registers_get_param(arch_registers_state_t *regs, uint64_t *param) argument
126 registers_get_ip(arch_registers_state_t *regs) argument
132 registers_get_sp(arch_registers_state_t *regs) argument
[all...] |
| /barrelfish-2018-10-04/include/arch/arm/barrelfish_kpi/ |
| H A D | registers_arch.h | 93 uint32_t regs[sizeof(struct registers_arm_named) / sizeof(uint32_t)]; member in union:registers_arm
102 registers_set_entry(arch_registers_state_t *regs, lvaddr_t entry) argument
108 registers_set_param(arch_registers_state_t *regs, uint32_t param) argument
114 registers_get_param(arch_registers_state_t *regs, uintptr_t *param) argument
120 registers_get_ip(arch_registers_state_t *regs) argument
126 registers_get_sp(arch_registers_state_t *regs) argument
[all...] |
| /barrelfish-2018-10-04/usr/arrakismon/ |
| H A D | guest.c | 481 arch_registers_state_t *regs = local
[all...] |
| /barrelfish-2018-10-04/lib/barrelfish/arch/x86_64/ |
| H A D | ldt.c | 495 arch_registers_state_t *regs = dispatcher_get_enabled_save_area(handle); local
|
| /barrelfish-2018-10-04/usr/drivers/e10k/ |
| H A D | e10k_cdriver.c | 1789 struct capref regs; local
1704 cd_create_queue_rpc(struct e10k_vf_binding *b, struct capref tx_frame, struct capref txhwb_frame, struct capref rx_frame, uint32_t rxbufsz, int16_t msix_intvec, uint8_t msix_intdest, bool use_irq, bool use_rsc, bool default_q, uint64_t *mac, int32_t *qid, struct capref *regs, errval_t *ret_err) argument
|