Symbol: acrn_descriptor_ptr