The casts weren't even to the right type - all LAPIC registers are
32-bit (pairs/groups of registers may be combined to form larger logical
ones, but this is not visible in the given data representation).
Signed-off-by: Jan Beulich <jbeulich@suse.com>
Acked-by: Wei Liu <wei.liu2@citrix.com>
printf(" LAPIC registers:\n");
for ( i = 0 ; i < 0x400 ; i += 32 )
{
- printf(" 0x%4.4x: 0x%16.16llx 0x%4.4x: 0x%16.16llx\n",
- i, *(unsigned long long *)&r.data[i],
- i + 16, *(unsigned long long *)&r.data[i + 16]);
+ printf(" 0x%03x: 0x%08" PRIx32 " 0x%03x: 0x%08" PRIx32 "\n",
+ i, *(uint32_t *)&r.data[i],
+ i + 16, *(uint32_t *)&r.data[i + 16]);
}
}