Home
last modified time | relevance | path

Searched refs:xen_released_pages (Results 1 – 4 of 4) sorted by relevance

/linux-4.4.14/include/xen/
Dpage.h46 extern unsigned long xen_released_pages;
/linux-4.4.14/arch/x86/xen/
Dsetup.c41 unsigned long xen_released_pages; variable
274 xen_released_pages++; in xen_set_identity_and_release_chunk()
912 pr_info("Released %ld page(s)\n", xen_released_pages); in xen_memory_setup()
/linux-4.4.14/arch/arm/xen/
Denlighten.c45 unsigned long xen_released_pages; variable
/linux-4.4.14/drivers/xen/
Dballoon.c741 ? min(xen_start_info->nr_pages - xen_released_pages, max_pfn) in balloon_init()