Lines Matching defs:page
143 vhost_log_page(uint8_t *log_base, uint64_t page)
145 vhost_set_bit(page % 8, &log_base[page / 8]);
151 uint64_t page;
162 page = addr / VHOST_LOG_PAGE;
163 while (page * VHOST_LOG_PAGE < addr + len) {
164 vhost_log_page((uint8_t *)(uintptr_t)dev->log_base, page);
165 page += 1;
229 uint64_t page)
231 uint32_t bit_nr = page % (sizeof(unsigned long) << 3);
232 uint32_t offset = page / (sizeof(unsigned long) << 3);
238 vhost_log_page((uint8_t *)(uintptr_t)dev->log_base, page);
258 vhost_log_page((uint8_t *)(uintptr_t)dev->log_base, page);
272 uint64_t page;
280 page = addr / VHOST_LOG_PAGE;
281 while (page * VHOST_LOG_PAGE < addr + len) {
282 vhost_log_cache_page(dev, vq, page);
283 page += 1;