Function write_user_u64_pub 

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

Writes user u64 pub.