unsafe extern "C" fn copy_args(
    arg0: u32,
    arg1: u32,
    arg2: u32,
    output: libtock_platform::Register,
) {
    let output: *mut [u32; 3] = output.into();
    unsafe {
        *output = [arg0, arg1, arg2];
    }
}
// Upcall function that copies its arguments into the [u32; 3] pointed to by
// `output`. Used by multiple tests in this file.
Upcall function that copies its arguments into the [u32; 3] pointed to by
`output`. Used by multiple tests in this file.
Upcall function that copies its arguments into the [ u32 ; 3 ] pointed to by ` output ` . Used by multiple tests in this file .
unsafe extern "C" fn copy_args(
    arg0: u32,
    arg1: u32,
    arg2: u32,
    output: libtock_platform::Register,
) {
    let output: *mut [u32; 3] = output.into();
    unsafe {
        *output = [arg0, arg1, arg2];
    }
}
unsafe extern " " fn copy_args ( arg0 : u32 , arg1 : u32 , arg2 : u32 , output : libtock_platform :: Register , ) { let output : * mut [ u32 ; 3 ] = output . into ( ) ; unsafe { * output = [ arg0 , arg1 , arg2 ] ; } }
Upcall function that copies its arguments into the [u32; 3] pointed to by
`output`.
Upcall function that copies its arguments into the [ u32 ; 3 ] pointed to by ` output ` .
arg0
u32
arg1
u32
arg2
u32
output
libtock_platform::Register
arg0
u32
arg1
u32
arg2
u32
output
libtock_platform::Register