Two uint32_t casts crept in where they shouldn't have.
ACPI_TYPE_INTEGER can be 64 bits wide in acpi v2.
This commit is contained in:
parent
e18d08c9b0
commit
9599d206a4
Notes:
svn2git
2020-12-20 02:59:44 +00:00
svn path=/head/; revision=137637
@ -159,8 +159,8 @@ aml_simulate_prompt(char *msg, ACPI_INTEGER def_val)
|
||||
if (msg != NULL) {
|
||||
printf("%s", msg);
|
||||
}
|
||||
printf("(default: 0x%x ", (uint32_t)val);
|
||||
printf(" / %u) >>", (uint32_t)val);
|
||||
printf("(default: 0x%jx ", val);
|
||||
printf(" / %ju) >>", val);
|
||||
fflush(stdout);
|
||||
|
||||
bzero(buf, sizeof buf);
|
||||
|
Loading…
Reference in New Issue
Block a user