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

/barrelfish-master/kernel/arch/armv7/
H A Dcpu_start.S37 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 Dbsp_start.S52 mov PIC_REGISTER, r4
56 mcr p15, 0, PIC_REGISTER, c13, c0, 4
59 ldr sp, [PIC_REGISTER, r6]
H A Dboot.S58 ldr PIC_REGISTER, =got_base
75 ldr r0, [PIC_REGISTER, r4]
H A Dexceptions.S28 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 Dregisters_arch.h63 #define PIC_REGISTER X10 macro
/barrelfish-master/lib/spawndomain/arch/arm/
H A Dspawn_arch.c217 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 Dspawn_arch.c216 enabled_area->regs[REG_OFFSET(PIC_REGISTER)] = got_base;
217 disabled_area->regs[REG_OFFSET(PIC_REGISTER)] = got_base;

Completed in 92 milliseconds