Skip to content
This repository has been archived by the owner on Apr 14, 2023. It is now read-only.

Commit

Permalink
Fixed some format string specifiers
Browse files Browse the repository at this point in the history
  • Loading branch information
TrungNguyen1909 committed Mar 3, 2021
1 parent c0fbbf7 commit e5e1187
Show file tree
Hide file tree
Showing 2 changed files with 4 additions and 4 deletions.
6 changes: 3 additions & 3 deletions hw/arm/t8030.c
Original file line number Diff line number Diff line change
Expand Up @@ -186,7 +186,7 @@ static void T8030_ipi_rr_local(CPUARMState *env, const ARMCPRegInfo *ri,
}
// fprintf(stderr, "CPU %x sending fast IPI to local CPU %x: value: 0x%llx\n", tcpu->phys_id, phys_id, value);
if(cpu_id == -1 || c->cpus[cpu_id] == NULL) {
fprintf(stderr, "CPU %x failed to send fast IPI to local CPU %x: value: 0x%lx\n", tcpu->phys_id, phys_id, value);
fprintf(stderr, "CPU %x failed to send fast IPI to local CPU %x: value: 0x" TARGET_FMT_lx "\n", tcpu->phys_id, phys_id, value);
return;
}
if ((value & ARM64_REG_IPI_RR_TYPE_NOWAKE) == ARM64_REG_IPI_RR_TYPE_NOWAKE){
Expand Down Expand Up @@ -230,7 +230,7 @@ static void T8030_ipi_rr_global(CPUARMState *env, const ARMCPRegInfo *ri,
}
// fprintf(stderr, "CPU %x sending fast IPI to global CPU %x: value: 0x%llx\n", tcpu->phys_id, phys_id, value);
if(cpu_id == -1 || c->cpus[cpu_id] == NULL) {
fprintf(stderr, "CPU %x failed to send fast IPI to global CPU %x: value: 0x%lx\n", tcpu->phys_id, phys_id, value);
fprintf(stderr, "CPU %x failed to send fast IPI to global CPU %x: value: 0x" TARGET_FMT_lx "\n", tcpu->phys_id, phys_id, value);
return;
};
if ((value & ARM64_REG_IPI_RR_TYPE_NOWAKE) == ARM64_REG_IPI_RR_TYPE_NOWAKE){
Expand Down Expand Up @@ -286,7 +286,7 @@ static uint64_t T8030_ipi_read_cr(CPUARMState *env, const ARMCPRegInfo *ri)
static void T8030_ipi_write_cr(CPUARMState *env, const ARMCPRegInfo *ri,
uint64_t value)
{
fprintf(stderr, "T8030 adjusting deferred IPI timeout to %lu\n", value);
fprintf(stderr, "T8030 adjusting deferred IPI timeout to " TARGET_FMT_lu "\n", value);
T8030CPUState *tcpu = T8030_cs_from_env(env);
T8030MachineState *tms = T8030_MACHINE(tcpu->machine);
WITH_QEMU_LOCK_GUARD(&tms->mutex){
Expand Down
2 changes: 1 addition & 1 deletion target/arm/helper.c
Original file line number Diff line number Diff line change
Expand Up @@ -13269,7 +13269,7 @@ static inline void assert_hflags_rebuild_correctly(CPUARMState *env)
uint64_t env_flags_rebuilt = rebuild_hflags_internal(env);

if (unlikely(env_flags_current != env_flags_rebuilt)) {
fprintf(stderr, "TCG hflags mismatch (current:0x%16llx rebuilt:0x%16llx)\n",
fprintf(stderr, "TCG hflags mismatch (current:0x" TARGET_FMT_plx " rebuilt:0x" TARGET_FMT_plx ")\n",
env_flags_current, env_flags_rebuilt);
abort();
}
Expand Down

0 comments on commit e5e1187

Please sign in to comment.