Lines Matching defs:bptr
335 vm_paddr_t rel_pa, bptr;
359 bptr = ((vm_paddr_t)(uintptr_t)__boot_page - KERNBASE) + kernload;
362 rel->entry_h = (bptr >> 32);
363 rel->entry_l = bptr; __asm __volatile("sync");
380 vm_paddr_t bptr;
428 bptr = ((vm_paddr_t)(uintptr_t)__boot_page - KERNBASE) + kernload;
429 KASSERT((bptr & 0xfff) == 0,
430 ("%s: boot page is not aligned (%#jx)", __func__, (uintmax_t)bptr));
450 ccsr_write4(OCP85XX_BSTRH, bptr >> 32);
451 ccsr_write4(OCP85XX_BSTRL, bptr);
473 bptr = (bptr >> 12) | 0x80000000u;
474 ccsr_write4(OCP85XX_BPTR, bptr);