Function write_user_mapped_bytes 

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

Writes user mapped bytes.