PK_OPCODE_MODEXP  619 dev/pci/nofn.c 		    NOFN_PK_INSTR(PK_OP_DONE, PK_OPCODE_MODEXP, 3, 0, 1, 2));
PK_OPCODE_MODEXP  623 dev/pci/nofn.c 		    NOFN_PK_INSTR(0, PK_OPCODE_MODEXP, 3, 0, 1, 2));