/barrelfish-2018-10-04/lib/barrelfish/include/target/x86_64/ |
H A D | registers_target.h | 24 registers_x86_64_set_initial(struct registers_x86_64 *regs, struct thread *thread, argument 32 regs->rip = entry; 33 regs->rsp = stack; 34 regs->eflags = USER_EFLAGS; 35 regs->fs = thread->thread_seg_selector; 36 regs->gs = 0; 38 regs->rdi = arg1; 39 regs->rsi = arg2; 40 regs->rdx = arg3; 41 regs [all...] |
/barrelfish-2018-10-04/include/arch/x86_32/barrelfish_kpi/ |
H A D | registers_arch.h | 29 registers_set_entry(arch_registers_state_t *regs, lvaddr_t entry) argument 31 registers_x86_32_set_entry(regs, entry); 35 registers_set_param(arch_registers_state_t *regs, uint32_t param) argument 37 registers_x86_32_set_param(regs, param); 41 registers_get_param(arch_registers_state_t *regs, uintptr_t *param) argument 43 registers_x86_32_get_param(regs, param); 47 registers_get_ip(arch_registers_state_t *regs) argument 49 return registers_x86_32_get_ip(regs); 53 registers_get_sp(arch_registers_state_t *regs) argument 55 return registers_x86_32_get_sp(regs); [all...] |
H A D | asm_inlines_arch.h | 63 uint8_t *regs = fpustate->registers; local 64 regs += 16 - ((uintptr_t)regs % 16); 66 __asm volatile("fxsave %0" : "=m" (*regs)); 71 uint8_t *regs = fpustate->registers; local 72 regs += 16 - ((uintptr_t)regs % 16); 74 __asm volatile ("fxrstor %0" :: "m" (*regs));
|
/barrelfish-2018-10-04/include/arch/x86_64/barrelfish_kpi/ |
H A D | registers_arch.h | 26 registers_set_entry(arch_registers_state_t *regs, lvaddr_t entry) argument 28 registers_x86_64_set_entry(regs, entry); 32 registers_set_param(arch_registers_state_t *regs, uint64_t param) argument 34 registers_x86_64_set_param(regs, param); 38 registers_get_param(arch_registers_state_t *regs, uintptr_t *param) argument 40 registers_x86_64_get_param(regs, param); 44 registers_get_ip(arch_registers_state_t *regs) argument 46 return registers_x86_64_get_ip(regs); 50 registers_get_sp(arch_registers_state_t *regs) argument 52 return registers_x86_64_get_sp(regs); [all...] |
/barrelfish-2018-10-04/include/target/x86_32/barrelfish_kpi/ |
H A D | registers_target.h | 44 registers_x86_32_set_entry(struct registers_x86_32 *regs, lvaddr_t entry) argument 46 regs->eip = entry; 47 regs->cs = USER_CS; 48 regs->ss = USER_SS; 49 regs->eflags = USER_EFLAGS; 53 registers_x86_32_set_param(struct registers_x86_32 *regs, uint32_t param) argument 55 regs->eax = param; 59 registers_x86_32_get_param(struct registers_x86_32 *regs, uint32_t *param) argument 61 *param = regs->eax; 65 registers_x86_32_get_ip(struct registers_x86_32 *regs) argument 71 registers_x86_32_get_sp(struct registers_x86_32 *regs) argument [all...] |
/barrelfish-2018-10-04/lib/barrelfish/include/arch/arm/arch/ |
H A D | registers.h | 33 registers_set_initial(arch_registers_state_t *regs, struct thread *thread, argument 37 regs->named.cpsr = ARM_MODE_USR | CPSR_F_MASK; 38 regs->named.r0 = arg1; 39 regs->named.r1 = arg2; 40 regs->named.r2 = arg3; 41 regs->named.r3 = arg4; 42 regs->named.stack = stack; 43 regs->named.r9 = (uintptr_t)curgotbase(); 44 regs->named.pc = entry; 45 regs [all...] |
/barrelfish-2018-10-04/lib/barrelfish/include/arch/aarch64/arch/ |
H A D | registers.h | 33 registers_set_initial(arch_registers_state_t *regs, struct thread *thread, argument 37 regs->named.x0 = arg1; 38 regs->named.x1 = arg2; 39 regs->named.x2 = arg3; 40 regs->named.x3 = arg4; 41 regs->named.x10 = (uintptr_t)curgotbase(); 42 regs->named.stack = stack; 43 regs->named.pc = entry; 44 regs->named.spsr = AARCH64_MODE_USR | CPSR_F_MASK;
|
/barrelfish-2018-10-04/lib/libc/rpc/ |
H A D | pmap_prot.c | 55 xdr_pmap(XDR *xdrs, struct pmap *regs) argument 59 assert(regs != NULL); 61 if (xdr_u_long(xdrs, ®s->pm_prog) && 62 xdr_u_long(xdrs, ®s->pm_vers) && 63 xdr_u_long(xdrs, ®s->pm_prot)) 64 return (xdr_u_long(xdrs, ®s->pm_port));
|
/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 55 regs->rip = entry; 56 regs->eflags = USER_EFLAGS; 57 regs->fs = 0; 58 regs->gs = 0; 62 registers_x86_64_set_param(struct registers_x86_64 *regs, uint64_t param) argument 64 regs->rax = param; 68 registers_x86_64_get_param(struct registers_x86_64 *regs, uint64_t *param) argument 70 *param = regs->rax; 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/lib/barrelfish/include/target/x86_32/ |
H A D | registers_target.h | 24 registers_x86_32_set_initial(struct registers_x86_32 *regs, struct thread *thread, argument 39 regs->eip = entry; 40 regs->esp = stack; 41 regs->fs = 0; 42 regs->gs = get_dispatcher_x86_32(thread->disp)->disp_seg_selector; 43 regs->cs = USER_CS; 44 regs->ss = USER_SS; 45 regs->eflags = USER_EFLAGS;
|
/barrelfish-2018-10-04/usr/vmkitmon/ |
H A D | guest.h | 122 return g->ctrl->regs.rax; 132 g->ctrl->regs.rax = val; 142 return (g->ctrl->regs.rax) & 0xffffffff; 154 uint64_t buf = g->ctrl->regs.rax; 156 g->ctrl->regs.rax = buf; 166 return (g->ctrl->regs.rax) & 0xffff; 178 uint64_t buf = g->ctrl->regs.rax; 180 g->ctrl->regs.rax = buf; 190 return (g->ctrl->regs.rax) >> 8; 202 uint64_t buf = g->ctrl->regs [all...] |
/barrelfish-2018-10-04/kernel/arch/x86_64/ |
H A D | svm_vmkit.c | 109 register uintptr_t rbx __asm("rbx") = ctrl->regs.rbx; 110 register uintptr_t rcx __asm("rcx") = ctrl->regs.rcx; 111 register uintptr_t rdx __asm("rdx") = ctrl->regs.rdx; 112 register uintptr_t rsi __asm("rsi") = ctrl->regs.rsi; 113 register uintptr_t rdi __asm("rdi") = ctrl->regs.rdi; 114 register uintptr_t r8 __asm("r8") = ctrl->regs.r8; 115 register uintptr_t r9 __asm("r9") = ctrl->regs.r9; 116 register uintptr_t r10 __asm("r10") = ctrl->regs.r10; 117 register uintptr_t r11 __asm("r11") = ctrl->regs.r11; 118 register uintptr_t r12 __asm("r12") = ctrl->regs 293 struct registers_x86_64 *regs = &ctrl->regs; local [all...] |
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_32/ |
H A D | dispatch.c | 65 * \param regs Register state snapshot 76 struct registers_x86_32* regs = archregs; local 77 assert_disabled(regs->eip > BASE_PAGE_SIZE); 78 assert_disabled((regs->eflags & USER_EFLAGS) == USER_EFLAGS); // flags 79 assert_disabled(regs->cs == USER_CS); 80 assert_disabled(regs->ss == USER_SS); 92 "movl 1*4(%[regs]), %%ebx \n\t" 93 "movl 2*4(%[regs]), %%ecx \n\t" 94 "movl 3*4(%[regs]), %%edx \n\t" 95 "movl 4*4(%[regs]), 207 struct registers_x86_32 *regs = state; local 261 struct registers_x86_32 *regs = state; local [all...] |
/barrelfish-2018-10-04/lib/barrelfish/arch/x86_64/ |
H A D | dispatch.c | 61 * \param regs Register state snapshot 72 struct registers_x86_64 *regs = archregs; local 73 assert_disabled(regs->rip > BASE_PAGE_SIZE); 74 assert_disabled((regs->eflags & USER_EFLAGS) == USER_EFLAGS); // flags 89 "movq 0*8(%[regs]), %%rax \n\t" 90 "movq 2*8(%[regs]), %%rcx \n\t" 91 "movq 3*8(%[regs]), %%rdx \n\t" 92 "movq 4*8(%[regs]), %%rsi \n\t" 93 "movq 5*8(%[regs]), %%rdi \n\t" 94 "movq 6*8(%[regs]), 226 struct registers_x86_64 *regs = state; local 285 struct registers_x86_64 *regs = state; local [all...] |
/barrelfish-2018-10-04/usr/arrakismon/ |
H A D | guest.h | 181 return g->ctrl->regs.rbx; 187 g->ctrl->regs.rbx = val; 192 return g->ctrl->regs.rbx; 197 uint64_t buf = g->ctrl->regs.rbx; 198 g->ctrl->regs.rbx = (buf & ~0xffffffff) | val; 204 return g->ctrl->regs.rbx & 0xffff; 210 uint64_t buf = g->ctrl->regs.rbx; 211 g->ctrl->regs.rbx = (buf & ~0xffff) | val; 217 return g->ctrl->regs.rbx & 0xff; 223 uint64_t buf = g->ctrl->regs [all...] |
/barrelfish-2018-10-04/lib/virtio/backends/ |
H A D | virtio_device_mmio.c | 33 _reg(_dev->regs, 0x1); \ 40 while (!_reg(_dev->regs)) { \ 48 while (!_reg(_dev->regs) && (--wait)) \ 68 status = virtio_mmio_status_rd(&mmio_dev->regs); 99 virtio_mmio_reset_wr(&mmio_dev->regs, virtio_mmio_device_reset); 106 status = virtio_mmio_status_rd(&mmio_dev->regs); 113 status = virtio_mmio_status_rd(&mmio_dev->regs); 121 status = virtio_mmio_status_rd(&mmio_dev->regs); 129 status = virtio_mmio_status_rd(&mmio_dev->regs); 137 virtio_mmio_status_wr(&mmio_dev->regs, statu [all...] |
/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 110 regs->named.pc = (uint64_t)entry; 114 registers_set_param(arch_registers_state_t *regs, uint64_t param) argument 116 regs->named.x0 = param; 120 registers_get_param(arch_registers_state_t *regs, uint64_t *param) argument 122 *param = regs->named.x0; 126 registers_get_ip(arch_registers_state_t *regs) argument 128 return regs->named.pc; 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 104 regs->named.pc = (uint32_t)entry; 108 registers_set_param(arch_registers_state_t *regs, uint32_t param) argument 110 regs->named.r0 = param; 114 registers_get_param(arch_registers_state_t *regs, uintptr_t *param) argument 116 *param = regs->named.r0; 120 registers_get_ip(arch_registers_state_t *regs) argument 122 return regs->named.pc; 126 registers_get_sp(arch_registers_state_t *regs) argument [all...] |
/barrelfish-2018-10-04/lib/barrelfish/include/arch/x86_32/arch/ |
H A D | registers.h | 23 registers_set_initial(arch_registers_state_t *regs, struct thread *thread, argument 27 registers_x86_32_set_initial(regs, thread, entry, stack, arg1, arg2, arg3, arg4);
|
/barrelfish-2018-10-04/lib/barrelfish/include/arch/x86_64/arch/ |
H A D | registers.h | 23 registers_set_initial(arch_registers_state_t *regs, struct thread *thread, argument 27 registers_x86_64_set_initial(regs, thread, entry, stack, arg1, arg2, arg3, arg4);
|
/barrelfish-2018-10-04/usr/drivers/vbe/ |
H A D | vbe.c | 61 struct int10_regs regs = { local 72 int10(®s); 75 return regs.eax & 0xffff; 80 struct int10_regs regs = { local 87 int10(®s); 90 return regs.eax & 0xffff; 95 struct int10_regs regs = { local 100 int10(®s); 102 if((regs.eax & 0xffff) == VBE_OK) { 106 return regs 111 struct int10_regs regs = { local 194 struct int10_regs regs = { local 227 struct int10_regs regs = { local [all...] |
H A D | int10.h | 32 void int10(struct int10_regs *regs);
|
/barrelfish-2018-10-04/kernel/arch/x86_32/ |
H A D | exec.c | 122 * registers with the ones given in the array, pointed to by 'regs'. 126 struct registers_x86_32 *regs = state; local 129 "pushl 7*4(%[regs]) \n\t" // ESP 132 "pushl 8*4(%[regs]) \n\t" // EIP 135 "movl 1*4(%[regs]), %%ebx \n\t" 136 "movl 2*4(%[regs]), %%ecx \n\t" 137 "movl 3*4(%[regs]), %%edx \n\t" 138 "movl 4*4(%[regs]), %%esi \n\t" 139 "movl 5*4(%[regs]), %%edi \n\t" 140 "movl 6*4(%[regs]), [all...] |
/barrelfish-2018-10-04/include/barrelfish_kpi/ |
H A D | vmkit.h | 31 /// Space to store all regs not captured in the VMCB 32 struct registers_x86_64 regs; member in struct:guest_control
|
/barrelfish-2018-10-04/tools/ds5/configdb/OS/Barrelfish/ |
H A D | provider.py | 125 regs = sa_fields['named'].getStructureMembers() 129 return regs['cpsr'] 131 return regs['rtls'] 133 return regs['stack'] 135 return regs['link'] 137 return regs['pc'] 139 return regs[name.lower()
|