[Linux x86-64] Implementation using foreign primops