Searched refs:write (Results 1 – 9 of 9) sorted by relevance
159 file_descriptor.write(f'#include <{include}>\n')164 file_descriptor.write(f'#include "{include}"\n')169 file_descriptor.write(f'#include "{include}"\n')174 file_descriptor.write(f'{line}')215 file_to_write.write(f'{line}')217 file_to_write.write(f'{line}')
107 uint32_t write; member362 dma_descriptor = &_tx_descriptors[ _tx_descriptor_list.write ]; in xNetworkInterfaceOutput()379 _tx_descriptor_list.write++; in xNetworkInterfaceOutput()382 if( _tx_descriptor_list.write == niEMAC_TX_DMA_DESC_COUNT ) in xNetworkInterfaceOutput()384 _tx_descriptor_list.write = 0; in xNetworkInterfaceOutput()472 _tx_descriptor_list.write = 0; in _dma_descriptors_init()495 _rx_descriptor_list.write = 0; in _dma_descriptors_init()559 …tor_list.number_descriptors ) && ( _tx_descriptor_list.read != _tx_descriptor_list.write ) ); i++ ) in _process_transmit_complete()601 dma_descriptor = &_rx_descriptors[ _rx_descriptor_list.write ]; in _process_received_packet()672 _rx_descriptor_list.write++; in _process_received_packet()[all …]
160 makefile.write("{} = {}\n".format(define, value))177 makefile.write(define + "\n")190 makefile.write(line)212 _makefile.write(target)221 _makefile.write(conditional)
203 ninja.write(NINJA_RULES)206 ninja.write(NINJA_BUILDS.format(folder=proof, entry=entry))210 ninja.write(NINJA_GLOBALS.format(
187 handle.write(("""{contents}
116 output.write(modified_content)177 patch_file.write(patch.stdout)
3 …added to the "pc" project ( Windows simulator ). It uses the file system to write 2 C source files:
122 run; they eventually write their output to `cbmc.txt`, which should have
2134 # Note: WordPad (write) and others do not support links.
