/* From host to ARM */