Searched refs:PIC_REGISTER (Results 1 - 7 of 7) sorted by relevance
/barrelfish-master/kernel/arch/armv7/ |
H A D | cpu_start.S | 37 ldr PIC_REGISTER, [r0, #OFFSETOF_COREDATA_GOT_BASE] 41 mcr p15, 0, PIC_REGISTER, c13, c0, 4 45 ldr sp, [PIC_REGISTER, r4]
|
H A D | bsp_start.S | 52 mov PIC_REGISTER, r4 56 mcr p15, 0, PIC_REGISTER, c13, c0, 4 59 ldr sp, [PIC_REGISTER, r6]
|
H A D | boot.S | 58 ldr PIC_REGISTER, =got_base 75 ldr r0, [PIC_REGISTER, r4]
|
H A D | exceptions.S | 28 ldr sp, [PIC_REGISTER, sp] 118 load_got PIC_REGISTER 242 ldr pc, [PIC_REGISTER, r3] // f(fault_addr, save_area) 250 ldr pc, [PIC_REGISTER, r3] // f(evector, addr, save_area) 299 ldr pc, [PIC_REGISTER, r3] 302 ldr pc, [PIC_REGISTER, r3] 325 ldr pc, [PIC_REGISTER, r3] // f(fault_addr, save_area) 334 ldr pc, [PIC_REGISTER, r3] // f(evector, addr, save_area) 358 ldr pc, [PIC_REGISTER, r3] // f(fault_addr, save_area) 367 ldr pc, [PIC_REGISTER, r [all...] |
/barrelfish-master/include/arch/aarch64/barrelfish_kpi/ |
H A D | registers_arch.h | 63 #define PIC_REGISTER X10 macro
|
/barrelfish-master/lib/spawndomain/arch/arm/ |
H A D | spawn_arch.c | 217 enabled_area->regs[REG_OFFSET(PIC_REGISTER)] = got_base; 218 disabled_area->regs[REG_OFFSET(PIC_REGISTER)] = got_base;
|
/barrelfish-master/lib/spawndomain/arch/aarch64/ |
H A D | spawn_arch.c | 216 enabled_area->regs[REG_OFFSET(PIC_REGISTER)] = got_base; 217 disabled_area->regs[REG_OFFSET(PIC_REGISTER)] = got_base;
|
Completed in 92 milliseconds