PK_OP_DONE        619 dev/pci/nofn.c 		    NOFN_PK_INSTR(PK_OP_DONE, PK_OPCODE_MODEXP, 3, 0, 1, 2));
PK_OP_DONE        631 dev/pci/nofn.c 		    NOFN_PK_INSTR2(PK_OP_DONE, PK_OPCODE_TAG, 3, 3, nbits));