Searched refs:pc_get_device_memory_range (Results 1 – 1 of 1) sorted by relevance
763 static void pc_get_device_memory_range(PCMachineState *pcms, in pc_get_device_memory_range() function793 pc_get_device_memory_range(pcms, &cxl_base, &size); in pc_get_cxl_range_start()848 pc_get_device_memory_range(pcms, &devmem_start, &devmem_size); in pc_max_used_gpa()1000 pc_get_device_memory_range(pcms, &device_mem_base, &device_mem_size); in pc_memory_init()1102 pc_get_device_memory_range(pcms, &hole64_start, &size); in pc_pci_hole64_start()