Searched refs:regs (Results 1 - 7 of 7) sorted by relevance

/seL4-mcs-10.1.1/src/arch/x86/kernel/
H A Dboot.c77 p_region_t regs[NUM_RESERVED_REGIONS]; member in struct:allocated_p_region
89 if (allocated_p_regions.regs[i - 1].end == allocated_p_regions.regs[i].start) {
91 allocated_p_regions.regs[i - 1].end = allocated_p_regions.regs[i].end;
94 allocated_p_regions.regs[j] = allocated_p_regions.regs[j + 1];
109 if (allocated_p_regions.regs[i].start < reg.end &&
110 allocated_p_regions.regs[i].end > reg.start) {
129 if (allocated_p_regions.regs[
[all...]
/seL4-mcs-10.1.1/libsel4/include/sel4/
H A Dfaults.h88 seL4_TimeoutReply_new(seL4_Bool resume, seL4_UserContext regs, seL4_Word length) argument
92 seL4_SetMR(i, ((seL4_Word *) &regs)[i]);
H A Ddeprecated.h45 } regs; member in union:__anon84
/seL4-mcs-10.1.1/libsel4/sel4_arch_include/ia32/sel4/sel4_arch/
H A Ddeprecated.h52 } regs; member in union:__anon119
69 } regs; member in union:__anon121
/seL4-mcs-10.1.1/include/arch/arm/arch/object/
H A Dvcpu.h68 word_t regs[seL4_VCPUReg_Num]; member in struct:vcpu
/seL4-mcs-10.1.1/include/arch/arm/armv/armv8-a/64/armv/
H A Dvcpu.h560 vcpu->regs[reg] = vcpu_hw_read_reg(reg);
578 vcpu_hw_write_reg(reg, vcpu->regs[reg]);
596 return vcpu->regs[reg];
606 vcpu->regs[reg] = value;
/seL4-mcs-10.1.1/src/arch/arm/object/
H A Dvcpu.c30 vcpu->regs[reg] = vcpu_hw_read_reg(reg);
48 vcpu_hw_write_reg(reg, vcpu->regs[reg]);
66 return vcpu->regs[reg];
76 vcpu->regs[reg] = value;

Completed in 100 milliseconds