mirror of
https://github.com/genodelabs/genode.git
synced 2025-02-20 17:52:52 +00:00
fb5946b69c
Point stack to client context region and save registers using push instructions. Note that since the push instruction first increments the stack pointer and then stores the value on the stack, the RSP has to point one field past RBP before pushing the first register value.