Searched refs:NEXT_PC_REG (Results 1 - 3 of 3) sorted by relevance

/seL4-refos-master/kernel/src/arch/arm/machine/
H A Dhardware.c19 setRegister(thread, NEXT_PC_REG, v);
/seL4-refos-master/kernel/include/arch/arm/arch/64/mode/machine/
H A Dregisterset.h151 #define NEXT_PC_REG ELR_EL1 macro
/seL4-refos-master/kernel/include/arch/arm/arch/32/mode/machine/
H A Dregisterset.h116 #define NEXT_PC_REG NextIP macro

Completed in 52 milliseconds