Home
last modified time | relevance | path

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

/l4re-core-master/l4util/include/ARCH-amd64/
A Dcpu.h41 L4_INLINE unsigned int l4util_cpu_capabilities(void);
97 l4util_cpu_capabilities(void) in l4util_cpu_capabilities() function
/l4re-core-master/l4util/include/ARCH-x86/
A Dcpu.h41 L4_INLINE unsigned int l4util_cpu_capabilities(void);
118 l4util_cpu_capabilities(void) in l4util_cpu_capabilities() function

Completed in 3 milliseconds