Lines Matching refs:paddr_t
103 static paddr_t next_phys; /* next available physical address from dboot */
104 static paddr_t high_phys = -(paddr_t)1; /* last used physical address */
192 paddr_t
195 paddr_t pa = 0; in do_bop_phys_alloc()
196 paddr_t start; in do_bop_phys_alloc()
197 paddr_t end; in do_bop_phys_alloc()
260 alloc_vaddr(size_t size, paddr_t align) in alloc_vaddr()
279 paddr_t a = align; /* same type as pa for masking */ in do_bsys_alloc()
281 paddr_t pa; in do_bsys_alloc()
1990 vmap_phys(size_t length, paddr_t pa) in vmap_phys()
1992 paddr_t start, end; in vmap_phys()
2043 scan_rsdp(paddr_t start, paddr_t end) in scan_rsdp()
2070 paddr_t ebda_addr; in find_rsdp()
2103 map_fw_table(paddr_t table_addr) in map_fw_table()
2123 paddr_t xsdt_addr; in find_fw_table()
2126 paddr_t table_addr; in find_fw_table()