According to this documentation:
AT&T: ‘1234(%rip)’, Intel: ‘[rip + 1234]’ Points to the address 1234 bytes past the end of the current instruction. AT&a
