Ezek nem regiszterek :) Csak éppen olyan változónevek, amik a regiszterek neveinek felelnek meg.
Értsd: a bináris azt csinálná, hogy rbx-be tesz egy címet stb.
És ezt meg C-ben leírod úgy, hogy void* rbx = *objc_msgSend;
Itt ezek változónevek és nem regiszterekbe pakolás megy :)
Java meg JS kódot is írhatsz, ahol a változóidat rax,rbxnek meg eflagsnek nevezed el.