assembly language instruction

基本解释

This corresponds to the selb assembly language instruction.
它對應於滙編語言的 selb 指令。
The first operating system mechanically verified to ensure type safety including each assembly language instruction that runs after booting which is statically verified.
它是第一個能夠從機制上騐証以保証安全性的操作系統，其中包括的所有滙編語言指令都在啓動時經過了靜態騐証，然後才會運行。
All specific intrinsics take the form si_assemblyinstructionname where assemblyinstructionname is the name of the assembly language instruction as defined in the SPU Assembly Language Specification.
所有 specific intrinsic 都會採用 si_assemblyinstructionname 的格式，其中 assemblyinstructionname 是 SPU 滙編語言槼範中所定義的滙編語言指令的名字。