diff --git a/manual.xml b/manual.xml index a9b6d9dfd0..4bb522652d 100644 --- a/manual.xml +++ b/manual.xml @@ -393,6 +393,8 @@ + + @@ -403,10 +405,12 @@ - + + + diff --git a/opcodes/top.xml b/opcodes/top.xml index b8a79823d9..c939d9d86d 100644 --- a/opcodes/top.xml +++ b/opcodes/top.xml @@ -243,6 +243,8 @@ &opcodesduserrnd; &opcodesdust; &opcodesdust2; + &opcodeselapsedcycles; + &opcodeselapsedtime; &opcodeselse; &opcodeselseif; &opcodesendif; @@ -255,6 +257,8 @@ &opcodesevalstr; &opcodesevent; &opcodesevent_i; + &opcodeseventcycles; + &opcodeseventtime; &opcodesexciter; &opcodesexitnow; &opcodesexp;