Function write_user_mapped_bytes_pub 

pub fn write_user_mapped_bytes_pub(
    user_as: &AddressSpace,
    vaddr: u64,
    src: &[u8],
) -> Result<(), &'static str>

Writes user mapped bytes pub.