2 * Raspberry Pi (BCM2835) SD Host Controller
4 * Copyright (c) 2017 Antfield SAS
7 * Clement Deschamps <clement.deschamps@antfield.fr>
8 * Luc Michel <luc.michel@antfield.fr>
10 * This work is licensed under the terms of the GNU GPL, version 2 or later.
11 * See the COPYING file in the top-level directory.
14 #ifndef BCM2835_SDHOST_H
15 #define BCM2835_SDHOST_H
17 #include "hw/sysbus.h"
20 #define TYPE_BCM2835_SDHOST "bcm2835-sdhost"
21 #define BCM2835_SDHOST(obj) \
22 OBJECT_CHECK(BCM2835SDHostState, (obj), TYPE_BCM2835_SDHOST)
24 #define BCM2835_SDHOST_FIFO_LEN 16
42 uint32_t fifo
[BCM2835_SDHOST_FIFO_LEN
];