ESP32S3 Sense and SDMMC SD card interface


I am trying to figure out if I can use the ESP-IDF SDMMC interface to access the SD card.

IF so, what are the settings?

Ref: SDMMC Host Driver - ESP32 - — ESP-IDF Programming Guide latest documentation

The reference quoted appears to be for the ESP32, where you could not re-direct the MMC pins.

The reference for the ESP32S3, says that for that processor you can re-direct the pins;

But what the commands to do this would be, I have no idea.

Sorry, I copied the wrong link. It should have been for the ESP32S3. What I need is the GPIO pin numbers for:
sdmmc_slot_config_t slot = SDMMC_SLOT_CONFIG_DEFAULT();
slot.clk = GPIO_NUM_1;
slot.cmd = GPIO_NUM_2;
slot.d0 = GPIO_NUM_3;
slot.d1 = GPIO_NUM_4;
slot.d2 = GPIO_NUM_5;
slot.d3 = GPIO_NUM_6;