Lines Matching refs:paddr_t
109 static paddr_t next_phys; /* next available physical address from dboot */
110 static paddr_t high_phys = -(paddr_t)1; /* last used physical address */
199 paddr_t
202 paddr_t pa = 0; in do_bop_phys_alloc()
203 paddr_t start; in do_bop_phys_alloc()
204 paddr_t end; in do_bop_phys_alloc()
258 alloc_vaddr(size_t size, paddr_t align) in alloc_vaddr()
277 paddr_t a = align; /* same type as pa for masking */ in do_bsys_alloc()
279 paddr_t pa; in do_bsys_alloc()
2266 vmap_phys(size_t length, paddr_t pa) in vmap_phys()
2268 paddr_t start, end; in vmap_phys()
2319 scan_rsdp(paddr_t *paddrp, size_t len) in scan_rsdp()
2321 paddr_t paddr = *paddrp; in scan_rsdp()
2359 paddr_t paddr = 0; in find_rsdp()
2407 map_fw_table(paddr_t table_addr) in map_fw_table()
2427 paddr_t xsdt_addr; in find_fw_table()
2429 paddr_t table_addr; in find_fw_table()