Lines Matching defs:phys
131 paddr_t phys;
135 phys = apic_get_base_paddr();
136 if (!phys) {
140 phys, phys + 0x1000
144 pte = x86_make_device_pte(phys);
150 phys = ioapic_paddrs[i];
152 phys, phys + 0x1000
156 pte = x86_make_device_pte(phys);
174 phys = (paddr_t)drhu_list[i];
176 phys, phys + 0x1000
180 pte = x86_make_device_pte(phys);