DE1-SOC revC: SDCard Interface for bare metal projects

Hi,

We have DE1-SOC board revC in the section. We did some simple bare metal projects and used peripherals like timers, g-senor, audio output, vga output and GPIO ports. And all we use Altera Monitor Program v15.1 with default System description (SOPInfo) file and FPGA programming (SOF) file.

Now we need to extend our simple bare metal project with Micro SD Card readings that is available on the board. Usually other peripherals have a base address to configure them.

What is the base address of SD Card Interface? I couldn't find any example or documentations about the interface, there is only a simple schematic that shows SD_CLK, CMD, DAT0..3 connections between HPS and Micro-SD Socket in 3.7.5 Micro SD Card Socket section of the DE1-SOC User Manual but I cannot say it was helpful for me. I'm stuck. Please tell me the way that I should follow step by step to access sd card interface in a bare metal c project (no nios, no linux)

Any help highly appreciated,

Thanks.