prefetch
uint32_t prefetch;
prefetch = prefetch4412_r0;
prefetch = prefetch4412; /* newer than >= r1_0 */
exynos_smc(SMC_CMD_L2X0SETUP1, tag_latency, data_latency, prefetch);
const bool prefetch = (pa & PGC_PREFETCH) != 0;
if (prefetch)
db_printf("#%s", prefetch[((insn >> 25) & 0x1f)]);
const char* prefetch[] = {
db_printf("#%s", prefetch[((insn >> 25) & 0x1f)]);
const char* prefetch[] = {
prefetch(sd->cl);
prefetch(sd->cl);
prefetch(r);
prefetch(mtod(rspq->rspq_mh.mh_head, uint8_t *));
prefetch(mtod(rspq->rspq_mh.mh_head, uint8_t *) + L1_CACHE_BYTES);
prefetch(txd);
prefetch(nbuf);
if (pi->pi_mem.prefetch) {
pi->pi_mem.prefetch ? "" : "non-");
pi->pi_mem.prefetch =
if (pi->pi_mem.prefetch) {
pi->pi_mem.prefetch ? "" : "non-",
bool prefetch;
const char *type, *prefetch;
prefetch = "";
prefetch = "non";
printf("%s %sprefetchable memory\n", type, prefetch);
pm->prefetch, (int)ok64);
const char *name = pm->prefetch ? "ppb-pmem"
r = pm->prefetch ? &pd->ppb->pmem_res
int prefetch;
int prefetch;
pb->prefetch = 1;
pi->prefetch = 0;
pm->prefetch = 0;
pm->prefetch = 1;
pi->prefetch = 0;
pm->prefetch = PCI_MAPREG_MEM_PREFETCHABLE(mask);
if (pm->prefetch) {
pm->prefetch = 0;
if (pm->prefetch) {
if (pm->prefetch) {