git: 6099b4600256 - main - amd64 initializecpu(): use 64bit type for rcr4() result

From: Konstantin Belousov <kib_at_FreeBSD.org>
Date: Sun, 01 Mar 2026 01:20:11 UTC
The branch main has been updated by kib:

URL: https://cgit.FreeBSD.org/src/commit/?id=6099b4600256552fc6f664c82b7dd0325a4b5b19

commit 6099b4600256552fc6f664c82b7dd0325a4b5b19
Author:     Konstantin Belousov <kib@FreeBSD.org>
AuthorDate: 2026-03-01 01:00:28 +0000
Commit:     Konstantin Belousov <kib@FreeBSD.org>
CommitDate: 2026-03-01 01:19:53 +0000

    amd64 initializecpu(): use 64bit type for rcr4() result
    
    Right now %cr4 defined bits fit into the low word, but this is not true
    with FRED.
    
    Sponsored by:   The FreeBSD Foundation
    MFC after:      1 week
---
 sys/amd64/amd64/initcpu.c | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/sys/amd64/amd64/initcpu.c b/sys/amd64/amd64/initcpu.c
index 4c57c27596ad..7161cf631508 100644
--- a/sys/amd64/amd64/initcpu.c
+++ b/sys/amd64/amd64/initcpu.c
@@ -276,7 +276,7 @@ void
 initializecpu(void)
 {
 	uint64_t msr;
-	uint32_t cr4;
+	uint64_t cr4;
 
 	TSENTER();
 	cr4 = rcr4();