Function write_user_u64 

fn write_user_u64(
    user_as: &AddressSpace,
    vaddr: u64,
    value: u64,
) -> Result<(), &'static str>

Writes user u64.