Function push_auxv 

fn push_auxv(
    user_as: &AddressSpace,
    sp: &mut u64,
    tag: u64,
    val: u64,
) -> Result<(), &'static str>

Performs the push auxv operation.