In the file src/int/i386-idt.clidt_pointer.base = (uint32_t)&idt_entries; generate warning
src/int/i386-idt.c:53:22: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]
IMHO correct usage
intptr_t(optional) | signed integer type capable of holding a pointer(typedef)warning-cast-to-from-pointerlidt_pointer.base = (intptr_t)&idt_entries;
In the file src/int/i386-idt.c
lidt_pointer.base = (uint32_t)&idt_entries;generate warningsrc/int/i386-idt.c:53:22: warning: cast from pointer to integer of different size [-Wpointer-to-int-cast]IMHO correct usageintptr_t(optional) | signed integer type capable of holding a pointer(typedef)warning-cast-to-from-pointerlidt_pointer.base = (intptr_t)&idt_entries;