Symbol: VHOST_PAGE_SIZE