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 汇编语言规范中所定义的汇编语言指令的名字。