Symbol: hfi_sys_get_property_pkt