Searched refs:highmem_end (Results 1 – 6 of 6) sorted by relevance
1053 uint64_t mmio_start, lowmem_end, highmem_end, mem_size; in libxl__build_hvm() local1120 highmem_end = 0; in libxl__build_hvm()1124 highmem_end = (1ull << 32) + (lowmem_end - mmio_start); in libxl__build_hvm()1128 dom->highmem_end = highmem_end; in libxl__build_hvm()
435 uint64_t highmem_end = dom->highmem_end; in libxl__domain_device_construct_rdm() local576 if (!highmem_end) in libxl__domain_device_construct_rdm()577 highmem_end = 1ull << 32; in libxl__domain_device_construct_rdm()578 highmem_end += (dom->lowmem_end - rdm_start); in libxl__domain_device_construct_rdm()585 dom->highmem_end = highmem_end; in libxl__domain_device_construct_rdm()598 if (highmem_end) in libxl__domain_device_construct_rdm()600 highmem_end - (1ULL << 32), in libxl__domain_device_construct_rdm()
684 dom->highmem_end ? dom->highmem_end - (1ull << 32) : 0; in domain_construct_memmap()
1051 if ( dom->highmem_end ) in populate_acpi_pages()1053 idx = --dom->highmem_end; in populate_acpi_pages()1055 dom->highmem_end = 0; in populate_acpi_pages()
619 hvm_info->high_mem_pgend = dom->highmem_end >> PAGE_SHIFT; in build_hvm_info()1388 if ( dom->highmem_end > (1ULL << 32) ) in meminit_hvm()1391 dummy_vmemrange[1].end = dom->highmem_end; in meminit_hvm()
205 xen_paddr_t highmem_end; member
Completed in 23 milliseconds