Searched refs:sdhc_data (Results 1 - 1 of 1) sorted by relevance

/seL4-camkes-master/projects/seL4_projects_libs/libsel4vmmplatsupport/src/plat/exynos5/devices/
H A Dvsdhc.c38 struct sdhc_priv *sdhc_data = (struct sdhc_priv *)d->priv; local
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; local
133 sdhc_data = calloc(1, sizeof(struct sdhc_priv));
134 if (sdhc_data
[all...]

Completed in 27 milliseconds