Home
last modified time | relevance | path

Searched defs:wrk32 (Results 1 – 3 of 3) sorted by relevance

/freebsd/sys/dev/sdhci/
H A Dfsl_sdhci.c207 uint32_t val32, wrk32; in fsl_sdhci_read_1() local
318 uint32_t val32, wrk32; in fsl_sdhci_read_4() local
H A Dsdhci_fsl_fdt.c379 uint32_t wrk32, val32; in sdhci_fsl_fdt_read_1() local
436 uint32_t wrk32, val32; in sdhci_fsl_fdt_read_4() local
/freebsd/sys/arm/freescale/imx/
H A Dimx6_anatop.c278 uint32_t corediv, plldiv, timeout, wrk32; in cpufreq_set_clock() local