Only allow memory regions that are less than (1ull << MAX_PADDR_BITS)
Other regions are inaccessible to the hardware being modeled
parent
4470418b
Please register or sign in to comment
Other regions are inaccessible to the hardware being modeled