arch/intel64: fix nxstyle issues
Some checks are pending
MemBrowse Memory Report / changes-filter (push) Waiting to run
MemBrowse Memory Report / load-targets (push) Waiting to run
MemBrowse Memory Report / identical (push) Blocked by required conditions
MemBrowse Memory Report / analyze (push) Blocked by required conditions

fix nxstyle issues

Signed-off-by: raiden00pl <raiden00@railab.me>
This commit is contained in:
raiden00pl 2026-08-26 08:47:30 +02:00 committed by Alin Jerpelea
parent 3be03008ac
commit 1f8c4bcaaf
2 changed files with 5 additions and 2 deletions

View file

@ -82,6 +82,7 @@ void up_initial_state(struct tcb_s *tcb)
{
char *stack_ptr = (char *)(x86_64_idle_topstack(0) -
CONFIG_IDLETHREAD_STACKSIZE);
tcb->stack_alloc_ptr = stack_ptr;
tcb->stack_base_ptr = stack_ptr;
tcb->adj_stack_size = CONFIG_IDLETHREAD_STACKSIZE;

View file

@ -92,8 +92,9 @@ static void x86_64_mb2_config(void)
case MULTIBOOT_TAG_TYPE_ACPI_OLD:
{
struct multiboot_tag_old_acpi *acpi
= (struct multiboot_tag_old_acpi *)tag;
struct multiboot_tag_old_acpi *acpi =
(struct multiboot_tag_old_acpi *)tag;
g_acpi_rsdp = (uintptr_t)acpi->rsdp;
break;
}
@ -102,6 +103,7 @@ static void x86_64_mb2_config(void)
{
struct multiboot_tag_new_acpi *acpi =
(struct multiboot_tag_new_acpi *)tag;
g_acpi_rsdp = (uintptr_t)acpi->rsdp;
break;
}