./src/kernel/arch/x86/arch.zig:500:30: error: expected type 'u32', found 'usize'
stack[STACK_SIZE - 11] = @ptrToInt(&stack[STACK_SIZE - 1]); // ebp
^
./src/kernel/arch/x86/arch.zig:500:30: note: unsigned 32-bit int cannot represent all possible unsigned 64-bit values
stack[STACK_SIZE - 11] = @ptrToInt(&stack[STACK_SIZE - 1]); // ebp
^
./src/kernel/arch/x86/paging.zig:215:21: error: expected type 'u32', found 'usize'
dir_entry.* |= DENTRY_PAGE_ADDR & table_phys_addr;
^
./src/kernel/arch/x86/paging.zig:215:21: note: unsigned 32-bit int cannot represent all possible unsigned 64-bit values
dir_entry.* |= DENTRY_PAGE_ADDR & table_phys_addr;
