Searched defs:pp_controls (Results 1 - 2 of 2) sorted by relevance

/barrelfish-master/kernel/include/arch/x86_64/
H A Dvmx_vmkit.h108 static inline bool sec_ctls_used(uint64_t pp_controls) argument
/barrelfish-master/kernel/arch/x86_64/
H A Dvmx_checks.c41 uint64_t pp_controls; local
1121 uint64_t pp_controls, sp_controls; local
1219 uint64_t pin_controls, pp_controls, sp_controls; local
[all...]

Completed in 15 milliseconds