Lines Matching refs:bptr
331 vm_paddr_t rel_pa, bptr; in mpc85xx_smp_start_cpu_epapr() local
355 bptr = pmap_kextract((uintptr_t)__boot_page); in mpc85xx_smp_start_cpu_epapr()
359 rel->entry_h = (bptr >> 32); __asm __volatile("sync" ::: "memory"); in mpc85xx_smp_start_cpu_epapr()
361 rel->entry_l = bptr & 0xffffffff; __asm __volatile("sync" ::: "memory"); in mpc85xx_smp_start_cpu_epapr()
378 vm_paddr_t bptr; in mpc85xx_smp_start_cpu() local
428 bptr = pmap_kextract((uintptr_t)__boot_page); in mpc85xx_smp_start_cpu()
429 KASSERT((bptr & 0xfff) == 0, in mpc85xx_smp_start_cpu()
430 ("%s: boot page is not aligned (%#jx)", __func__, (uintmax_t)bptr)); in mpc85xx_smp_start_cpu()
450 ccsr_write4(OCP85XX_BSTRH, bptr >> 32); in mpc85xx_smp_start_cpu()
451 ccsr_write4(OCP85XX_BSTRL, bptr); in mpc85xx_smp_start_cpu()
473 bptr = (bptr >> 12) | 0x80000000u; in mpc85xx_smp_start_cpu()
474 ccsr_write4(OCP85XX_BPTR, bptr); in mpc85xx_smp_start_cpu()