Function write_bytes_to_as 

fn write_bytes_to_as(
    as_ref: &AddressSpace,
    vaddr: u64,
    data: &[u8],
) -> Result<(), SyscallError>

Writes bytes to as.