Searched refs:L4_fpage_cached (Results 1 – 1 of 1) sorted by relevance

/l4re-core-master/sigma0/server/src/
A D	memmap_internal.h	17 L4_fpage_cached = L4_FPAGE_CACHEABLE << 4, enumerator 48 l4_utcb_mr_u(utcb)->mr[0] |= L4_fpage_cached; in snd_fpage()

Completed in 3 milliseconds

Last Index update Sun Aug 20 00:18:20 CST 2023