Sys_open -raw-idx. Signature; (sys_open-raw-idx x86) → *. Definitions and Theorems. Function: sys_open-raw-idx (defun sys_open-raw-idx (x86) (declare (xargs ...
確定! 回上一頁