exynos5/devices/vsdhc.c

38     struct sdhc_priv *sdhc_data = (struct sdhc_priv *)d->priv;
44     reg = (uint32_t *)(sdhc_data->regs + offset);
46     reg = (volatile uint32_t *)(sdhc_data->regs + offset);
51                 set_vcpu_fault_data(vcpu, sdhc_data->a64);
57                 sdhc_data->a64 = v >> 32;
77                     v = ((uint64_t)get_vcpu_fault_data(vcpu) << 32) | sdhc_data->a64;
81                     sdhc_data->a64 = get_vcpu_fault_data(vcpu);
113     struct sdhc_priv *sdhc_data;
133     sdhc_data = calloc(1, sizeof(struct sdhc_priv));
134     if (sdhc_data == NULL) {
135         assert(sdhc_data);
138     sdhc_data->vm = vm;
139     sdhc_data->regs = create_device_reservation_frame(vm, d->pstart, seL4_CanRead,
141     if (sdhc_data->regs == NULL) {
142         assert(sdhc_data->regs);
145     d->priv = sdhc_data;