x86_64 Pinion implementation