Symbol: acrn_hypercall1