base-hw: fix x86 CPUID register width

Ref #4826
This commit is contained in:
Benjamin Lamowski 2022-10-20 12:34:58 +02:00 committed by Christian Helmuth
parent 7477f99d05
commit e11ed069bf

View File

@ -51,7 +51,7 @@
};
#define X86_64_CPUID_REGISTER(name, id, reg, ...) \
struct name : Genode::Register<64> \
struct name : Genode::Register<32> \
{ \
static access_t read() \
{ \