Searched refs:eret (Results 1 - 4 of 4) sorted by relevance

/barrelfish-master/kernel/arch/armv8/boot/
H A Dboot_entry.S22 .global eret, boot_entry_bsp, boot_entry_psci, boot_entry_parking
90 eret: label
91 eret
H A Dboot_generic.c32 void eret(uint64_t a0, uint64_t a1, uint64_t a2, uint64_t a3);
505 eret((lpaddr_t)pointer + KERNEL_OFFSET, 0, 0, 0);
517 eret((lpaddr_t)pointer + KERNEL_OFFSET, 0, 0, 0);
/barrelfish-master/kernel/arch/armv8/
H A Dexceptions.S518 eret
/barrelfish-master/doc/022-armv8/
H A Dreport.tex953 user-level execution address. In ARMv8, the \texttt{eret} instruction
960 only does \texttt{eret} provide an atomic update of the program counter and
962 Replicating this behaviour at \texttt{EL0}, where \texttt{eret} is unavailable
967 Specifically, the only PC-modifying instructions (other than \texttt{eret})
977 order to use \texttt{eret} (which would eliminate the speed benefit of
986 of ways: allowing the use of \texttt{eret} at \texttt{EL0} or providing an

Completed in 34 milliseconds