L4_CAP_FPAGE_RS (reference) in projects: l4re-core-master

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

/l4re-core-master/l4sys/include/
A D	__l4_fpage.h	`185 L4_CAP_FPAGE_RS = L4_CAP_FPAGE_R \| L4_CAP_FPAGE_S, enumerator 210 L4_CAP_FPAGE_RSD = L4_CAP_FPAGE_RS \| L4_CAP_FPAGE_D,`
/l4re-core-master/l4re/include/
A D	namespace	`72 Rs = L4_CAP_FPAGE_RS, ///< Read-only + strong`

Completed in 3 milliseconds