Toshiba Satellite E45T-B4300 Audio Codec?

[Pf4351]

I'm not sure what audio kext to use for this system and I don't know how to figure it out. Can anyone help me with this?

 

[toleda]

Codec: DPCIManager/Status
Desktop Only

 

[Pf4351]

Codec: DPCIManager/Status
Desktop Only

This doesn't seem to help. I have a listing for "Audio Device: 0x80860A0C Sub: 0x1179F900" and "Audio Device: 0x80869C20 Sub: 0x1179F909

 

[toleda]

Those are Intel HDA controllers.

 

[Pf4351]

Those are Intel HDA controllers.

So what should I do to get audio working?