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