Make arguments for booke_init() u_long, to match register width.

On powerpc64, pointers are 64 bits, so casting from uint32_t changes the integer
width.

The alternative was to use register_t, but I didn't see register_t used as
argument type for any other functions, though didn't look too closely.  u_long
was an acceptable alternative.  On 64-bit it's 64 bits, on 32-bit it's 32 bits.
This commit is contained in:
Justin Hibbits 2016-01-04 02:20:14 +00:00
parent a917f636a2
commit 4717ada9cd
Notes: svn2git 2020-12-20 02:59:44 +00:00
svn path=/head/; revision=293129

View File

@ -173,7 +173,7 @@ uint32_t *bootinfo;
void print_kernel_section_addr(void);
void print_kenv(void);
uintptr_t booke_init(uint32_t, uint32_t);
uintptr_t booke_init(u_long, u_long);
void ivor_setup(void);
extern void *interrupt_vector_base;
@ -268,7 +268,7 @@ booke_check_for_fdt(uint32_t arg1, vm_offset_t *dtbp)
}
uintptr_t
booke_init(uint32_t arg1, uint32_t arg2)
booke_init(u_long arg1, u_long arg2)
{
uintptr_t ret;
void *mdp;