Lines Matching refs:write_buffer
152 /// Provides access to protected write_buffer field
154 return write_buffer;
157 /// Provides access to protected write_buffer field
159 return write_buffer;
162 /// Sets write_buffer field.
165 // driver will see valid address when accessing 64-bit write_buffer.
167 write_buffer = buffer;
176 /// process to a 64-bit driver, write_buffer will be valid 64-bit pointer to
178 /// If, however, a 32-bit app is talking to 64-bit driver, then write_buffer
185 void* write_buffer;
