Searched refs:pc_get_device_memory_range (Results 1 – 1 of 1) sorted by relevance
690 static void pc_get_device_memory_range(PCMachineState *pcms, in pc_get_device_memory_range() function717 pc_get_device_memory_range(pcms, &cxl_base, &size); in pc_get_cxl_range_start()772 pc_get_device_memory_range(pcms, &devmem_start, &devmem_size); in pc_max_used_gpa()924 pc_get_device_memory_range(pcms, &device_mem_base, &device_mem_size); in pc_memory_init()1030 pc_get_device_memory_range(pcms, &hole64_start, &size); in pc_pci_hole64_start()