fn read_u32_from_user(addr: u64) -> Option<u32>
Read a u32 from userspace memory at the given address.