SSDT-0 (decompiled)