Symbol: libhal_psi_get_double