/* From ARM to host */