Revision 26a76461 hw/apic.c

b/hw/apic.c
239 239 
{
240 240 
    APICState *s = env->apic_state;
241 241 
#ifdef DEBUG_APIC
242 
    printf("cpu_set_apic_base: %016llx\n", val);
242 
    printf("cpu_set_apic_base: %016" PRIx64 "\n", val);
243 243 
#endif
244 244 
    s->apicbase = (val & 0xfffff000) |
245 245 
        (s->apicbase & (MSR_IA32_APICBASE_BSP | MSR_IA32_APICBASE_ENABLE));
......
255 255 
{
256 256 
    APICState *s = env->apic_state;
257 257 
#ifdef DEBUG_APIC
258 
    printf("cpu_get_apic_base: %016llx\n", (uint64_t)s->apicbase);
258 
    printf("cpu_get_apic_base: %016" PRIx64 "\n", (uint64_t)s->apicbase);
259 259 
#endif
260 260 
    return s->apicbase;
261 261 
}

Also available in: Unified diff