1. A method comprising a processor executing a first instruction defined in an instruction set architecture implemented by the processor, wherein the first instruction comprises at least a first operand from which the processor is configured to determine a virtual address, and wherein the first instruction comprises a second operand that specifies one or more translation attributes, wherein the one or more translation attributes specified by the second operand exclude a physical address to which the virtual address translates, and wherein the executing comprises: the processor translating the virtual address; the processor comparing the specified one or more translation attributes to one or more translation attributes in a page table entry that defines a translation for the virtual address; and the processor faulting the first instruction responsive to locating the translation for the virtual address in the page table entry but with the one or more translation attributes in the entry failing to match the specified one or more translation attributes.