Searched refs:cmd (Results 1 – 4 of 4) sorted by relevance
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/ |
| D | run-cbmc-proofs.py | 131 def run_cmd(cmd, **args): argument
133 if not isinstance(cmd, str):
135 str_cmd = cmd
137 if not isinstance(cmd, list):
139 str_cmd = " ".join(cmd)
143 proc = subprocess.run(cmd, **args)
152 cmd = ["litani", "run-build"]
154 cmd.extend(["-j", str(jobs)])
155 run_cmd(cmd, check=True)
|
| /FreeRTOS-Plus-TCP-v4.0.0/source/portable/NetworkInterface/ksz8851snl/ |
| D | ksz8851snl.c | 158 uint16_t cmd = 0; in ksz8851_reg_read() local
168 cmd = ( reg << 2 ) & REG_ADDR_MASK; in ksz8851_reg_read()
175 cmd |= ( 0xc << 10 ); in ksz8851_reg_read()
180 cmd |= ( 0x3 << 10 ); in ksz8851_reg_read()
184 cmd |= CMD_READ; in ksz8851_reg_read()
185 cmdBuf.uc[ 0 ] = cmd >> 8; in ksz8851_reg_read()
186 cmdBuf.uc[ 1 ] = cmd & 0xff; in ksz8851_reg_read()
239 uint16_t cmd = 0; in ksz8851_reg_write() local
249 cmd = ( reg << 2 ) & REG_ADDR_MASK; in ksz8851_reg_write()
256 cmd |= ( 0xc << 10 ); in ksz8851_reg_write()
[all …]
|
| /FreeRTOS-Plus-TCP-v4.0.0/test/cbmc/proofs/lib/ |
| D | print_tool_versions.py | 49 cmd = [tool, "--version"]
50 proc = subprocess.Popen(cmd, text=True, stdout=subprocess.PIPE)
|
| /FreeRTOS-Plus-TCP-v4.0.0/ |
| D | lexicon.txt | 136 cmd
|
