Searched refs:fb_addr (Results 1 – 6 of 6) sorted by relevance
38 vaddr_t fb_addr; /* virtual address */ member112 KASSERT((vaddr_t)addr >= fb->fb_addr); in cn30xxfpa_buf_put()113 KASSERT((vaddr_t)addr < fb->fb_addr + fb->fb_len); in cn30xxfpa_buf_put()114 paddr = fb->fb_paddr + (paddr_t/* XXX */)((vaddr_t)addr - fb->fb_addr); in cn30xxfpa_buf_put()
122 addr = fb->fb_addr + (vaddr_t/* XXX */)(paddr - fb->fb_paddr); in cn30xxfpa_buf_get()157 fb->fb_addr = (vaddr_t)va; in cn30xxfpa_buf_dma_alloc()
155 if (bios_efiinfo != NULL && bios_efiinfo->fb_addr != 0) in efifb_match()178 KASSERT(bios_efiinfo != NULL && bios_efiinfo->fb_addr != 0); in efifb_attach()354 if (bios_efiinfo == NULL || bios_efiinfo->fb_addr == 0) in efifb_cnattach()367 fb->paddr = bios_efiinfo->fb_addr; in efifb_efiinfo_init()471 bios_efiinfo->fb_addr >= base && in efifb_is_primary()472 bios_efiinfo->fb_addr < base + size) in efifb_is_primary()
202 uint64_t fb_addr; member
230 uint64_t fb_addr; member
951 ei->fb_addr = gop->Mode->FrameBufferBase; in efi_makebootargs()