Searched refs:max_ram_below_4g (Results 1 – 4 of 4) sorted by relevance
300 uint64_t max_ram_below_4g = GB(4) - mmio_hole_size; in pci_setup() local302 if ( max_ram_below_4g > HVM_BELOW_4G_MMIO_START ) in pci_setup()307 PRIllx_arg(max_ram_below_4g), in pci_setup()312 pci_mem_start = max_ram_below_4g; in pci_setup()
1211 uint64_t max_ram_below_4g = (1ULL << 32) - in libxl__build_hvm() local1214 if (max_ram_below_4g < HVM_BELOW_4G_MMIO_START) in libxl__build_hvm()
1455 uint64_t max_ram_below_4g = (1ULL << 32) - in libxl__build_device_model_args_new() local1458 if (max_ram_below_4g > HVM_BELOW_4G_MMIO_START) { in libxl__build_device_model_args_new()1464 machinearg, max_ram_below_4g); in libxl__build_device_model_args_new()
476 uint64_t max_ram_below_4g = in libxl__domain_build() local479 if (max_ram_below_4g <= HVM_BELOW_4G_MMIO_START) { in libxl__domain_build()
Completed in 13 milliseconds