Lines Matching refs:paddr_t
101 static paddr_t next_phys; /* next available physical address from dboot */
102 static paddr_t high_phys = -(paddr_t)1; /* last used physical address */
190 paddr_t
193 paddr_t pa = 0; in do_bop_phys_alloc()
194 paddr_t start; in do_bop_phys_alloc()
195 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()
1944 vmap_phys(size_t length, paddr_t pa) in vmap_phys()
1946 paddr_t start, end; in vmap_phys()
1997 scan_rsdp(paddr_t start, paddr_t end) in scan_rsdp()
2023 paddr_t ebda_addr; in find_rsdp()
2040 map_fw_table(paddr_t table_addr) in map_fw_table()
2060 paddr_t xsdt_addr; in find_fw_table()
2063 paddr_t table_addr; in find_fw_table()