}
start_paddr = (pte & ~0xfff) & ~(0x1ULL << 63);
- if (cpu_physical_memory_is_io(start_paddr)) {
+ if (address_space_is_io(as, start_paddr)) {
/* I/O region */
continue;
}
}
start_paddr = pte & ~0xfff;
- if (cpu_physical_memory_is_io(start_paddr)) {
+ if (address_space_is_io(as, start_paddr)) {
/* I/O region */
continue;
}
if (pde & PG_PSE_MASK) {
/* 2 MB page */
start_paddr = (pde & ~0x1fffff) & ~(0x1ULL << 63);
- if (cpu_physical_memory_is_io(start_paddr)) {
+ if (address_space_is_io(as, start_paddr)) {
/* I/O region */
continue;
}
*/
high_paddr = ((hwaddr)(pde & 0x1fe000) << 19);
start_paddr = (pde & ~0x3fffff) | high_paddr;
- if (cpu_physical_memory_is_io(start_paddr)) {
+ if (address_space_is_io(as, start_paddr)) {
/* I/O region */
continue;
}
if (pdpe & PG_PSE_MASK) {
/* 1 GB page */
start_paddr = (pdpe & ~0x3fffffff) & ~(0x1ULL << 63);
- if (cpu_physical_memory_is_io(start_paddr)) {
+ if (address_space_is_io(as, start_paddr)) {
/* I/O region */
continue;
}