(syscall_name, ...args)
| 326 | } |
| 327 | |
| 328 | push_syscall(syscall_name, ...args) { |
| 329 | if (typeof syscall_name !== 'string') { |
| 330 | throw TypeError(`syscall_name not a string: ${syscall_name}`); |
| 331 | } |
| 332 | |
| 333 | const sysno = syscall_map.get(syscall_name); |
| 334 | if (sysno === undefined) { |
| 335 | throw Error(`syscall_name not found: ${syscall_name}`); |
| 336 | } |
| 337 | |
| 338 | const syscall_addr = this.syscall_array[sysno]; |
| 339 | if (syscall_addr === undefined) { |
| 340 | throw Error(`syscall number not in syscall_array: ${sysno}`); |
| 341 | } |
| 342 | |
| 343 | this.push_call(syscall_addr, ...args); |
| 344 | } |
| 345 | |
| 346 | // Sets needed class properties |
| 347 | // |
no test coverage detected