Searched refs:cpu_get_current_apic (Results 1 – 3 of 3) sorted by relevance
23 DeviceState *cpu_get_current_apic(void);
650 dev = cpu_get_current_apic(); in apic_mem_read()762 dev = cpu_get_current_apic(); in apic_mem_write()
596 DeviceState *cpu_get_current_apic(void) in cpu_get_current_apic() function