gnttab_page_cache
struct gnttab_page_cache free_pages;
void gnttab_page_cache_shrink(struct gnttab_page_cache *cache, unsigned int num)
static inline void cache_init(struct gnttab_page_cache *cache)
static inline bool cache_empty(struct gnttab_page_cache *cache)
static inline struct page *cache_deq(struct gnttab_page_cache *cache)
static inline void cache_enq(struct gnttab_page_cache *cache, struct page *page)
static inline void cache_init(struct gnttab_page_cache *cache)
static inline bool cache_empty(struct gnttab_page_cache *cache)
static inline struct page *cache_deq(struct gnttab_page_cache *cache)
static inline void cache_enq(struct gnttab_page_cache *cache, struct page *page)
void gnttab_page_cache_init(struct gnttab_page_cache *cache)
int gnttab_page_cache_get(struct gnttab_page_cache *cache, struct page **page)
void gnttab_page_cache_put(struct gnttab_page_cache *cache, struct page **page,
struct gnttab_page_cache free_pages;
void gnttab_page_cache_init(struct gnttab_page_cache *cache);
int gnttab_page_cache_get(struct gnttab_page_cache *cache, struct page **page);
void gnttab_page_cache_put(struct gnttab_page_cache *cache, struct page **page,
void gnttab_page_cache_shrink(struct gnttab_page_cache *cache,