The publicly-available datasheets for the SoC in the Pi are incredibly, and as far as I can tell intentionally, incomplete. The SD card controller is just one of the things lacking public documentaiton.