Symbol: HYPERCALL_MAX_DATA_SIZE