Open jbush001 opened 7 years ago
The device region (physical addresses 0xffff0000-0xffffffff) is not cached. Should it trap if a cache control instruction (for example, dflush) is used for those addresses?
The device region (physical addresses 0xffff0000-0xffffffff) is not cached. Should it trap if a cache control instruction (for example, dflush) is used for those addresses?