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