88 vhost_log_page(uint8_t *log_base, uint64_t page)  in vhost_log_page()  argument
90 	vhost_set_bit(page % 8, &log_base[page / 8]);  in vhost_log_page()
96 	uint64_t page;  in __vhost_log_write()  local
107 	page = addr / VHOST_LOG_PAGE;  in __vhost_log_write()
108 	while (page * VHOST_LOG_PAGE < addr + len) {  in __vhost_log_write()
109 		vhost_log_page((uint8_t *)(uintptr_t)dev->log_base, page);  in __vhost_log_write()
110 		page += 1;  in __vhost_log_write()
173 			uint64_t page)  in vhost_log_cache_page()  argument
175 	uint32_t bit_nr = page % (sizeof(unsigned long) << 3);  in vhost_log_cache_page()
176 	uint32_t offset = page / (sizeof(unsigned long) << 3);  in vhost_log_cache_page()
182 		vhost_log_page((uint8_t *)(uintptr_t)dev->log_base, page);  in vhost_log_cache_page()
202 		vhost_log_page((uint8_t *)(uintptr_t)dev->log_base, page);  in vhost_log_cache_page()
216 	uint64_t page;  in __vhost_log_cache_write()  local
224 	page = addr / VHOST_LOG_PAGE;  in __vhost_log_cache_write()
225 	while (page * VHOST_LOG_PAGE < addr + len) {  in __vhost_log_cache_write()
226 		vhost_log_cache_page(dev, vq, page);  in __vhost_log_cache_write()
227 		page += 1;  in __vhost_log_cache_write()