Actually, it seems that the `[base+0xffff0000, base+0xffff0000+page_size]` segment is only mapped on 32-bit ARM. So this is 32-bit ARM-specific.
Actually, it seems that the `[base+0xffff0000, base+0xffff0000 +page_size] ` segment is only mapped on 32-bit ARM. So this is 32-bit ARM-specific.