> Making a subroutine call appear as if it were a single instruction has got to be tricky, for example.

I suspect they use the same machinery for that as they use for handling mispredicted control flow and interrupts/exceptions/faults.