Searched refs:device_number (Results 1 – 1 of 1) sorted by relevance
| /system/extras/pagecache/ |
| D | pagecache.py | 27 def add_page(self, device_number, inode, offset): argument
29 if (device_number, inode) in self._inode_to_filename:
30 filename, filesize = self._inode_to_filename[(device_number, inode)]
41 def remove_page(self, device_number, inode, offset): argument
42 if (device_number, inode) in self._inode_to_filename:
43 filename, filesize = self._inode_to_filename[(device_number, inode)]
235 device_number = int(m.group(2)) << 8 | int(m.group(3))
236 if device_number == 0:
242 pagecache_stats.add_page(device_number, inode, m.group(4))
244 pagecache_stats.remove_page(device_number, inode, m.group(4))
|