Lines Matching defs:phys
135 paddr_t phys;
139 phys = apic_get_base_paddr();
140 if (!phys) {
144 phys, phys + 0x1000
148 pte = x86_make_device_pte(phys);
154 phys = ioapic_paddrs[i];
156 phys, phys + 0x1000
160 pte = x86_make_device_pte(phys);
178 phys = (paddr_t)drhu_list[i];
180 phys, phys + 0x1000
184 pte = x86_make_device_pte(phys);