however i planted this stupid debug print
	int hph_mode = wcd937x->hph_mode;
printk("Codec_aux_dac hph_mode: %d",hph_mode);
and i get [  +0.002434] Codec_aux_dac hph_mode: 4