It's called IOReg, what contains the DSDT on OS X I mean. I'm pretty sure you can dump it running ioreg -lw0 > ioregdump.txt . Don't ask me how to turn that into a dsdt.dsl, I think it's all in hex or something.
I'm pretty sure DSDTSE will use the ioreg DSDT, since if you use it to extract the DSDT on a install with an dsdt.aml it will give you the dsdt.aml and not the BIOS original.
With no DSDT.aml, OS X should use the one from the BIOS, which in turn should be the same as you get dumping with linux.
Of course all I just said may be wrong, lol.
Edit: it's definitely hex, I converted it on a macbook and got:
Code:
DSDTYYFAPPLE MacBookINTL [PRT0 [ PRT0P80H[SPRT . [ SPRTSSMP[IO_T ['IO_TTRPITRP0TRPC[IO_D [ IO_DTRPD[PMIO [PMIO@SPSTMGPEC[GNVS Z [BGNVSOSYSSMIFPRM0PRM1SCIFPRM2PRM3LCKFPRM4PRM5P80D LIDSPWRSDBGSLINXACTTPSVTTC1VTC2VTSPVCRTTDTSEDTS1DTS2DTSFBNUMB0SCB1SCB2SCB0SSB1SSB2SSAPICMPENPCP0PCP1PPCMPPMF NATPCMAPCMBPLPTPFDCPCMCPCIRPIGDSTLSTCADLPADLCSTENSTESSTENDIDDID1 DID2 DID3 DID4 DID5 BDSPPTY1PTY2PSCLTVF1TVF2GOPB BLCSBRTLALSEALAFLLOWLHIHEMAEEMAPEMALMEFEHGTF08GTF28IDEMGTF18GTF38GTF48GTF58\GBRD [NVSB [FNVSB@GP01GP02GP03GP04GP05GP06GP07GP08GP09GP10GP11GP12GP13GP14GP15GP16GP17GP18GP19GP20GP21GP22GP23GP24GP25GP26GP27GP28GP29GP30GP31GP32GP33GP34GP35GP36GP37GP38GP39GP40GP41GP42GP43GP44GP45GP46GP47GP48GP49GP50GP51GP52GP53GP54GP55GP56GP57GP58GP59GP60GP61GP62GP63GP64HwAPPS[MUTX \_PR_[ CPU0...
No order and bad codifying, but I used a online converter after all.