x64 as processor is used by which computers?
(AND computer.computer (JOIN computer.computer.processor m.01kdmy))