Searched refs:pc_get_device_memory_range (Results 1 – 1 of 1) sorted by relevance
697 static void pc_get_device_memory_range(PCMachineState *pcms, in pc_get_device_memory_range() function724 pc_get_device_memory_range(pcms, &cxl_base, &size); in pc_get_cxl_range_start()779 pc_get_device_memory_range(pcms, &devmem_start, &devmem_size); in pc_max_used_gpa()931 pc_get_device_memory_range(pcms, &device_mem_base, &device_mem_size); in pc_memory_init()1037 pc_get_device_memory_range(pcms, &hole64_start, &size); in pc_pci_hole64_start()