Searched refs:cpuid_c (Results 1 – 1 of 1) sorted by relevance
| /lk-master/arch/x86/include/arch/ |
| A D | x86.h | 320 static inline void cpuid_c(uint32_t leaf, uint32_t csel, uint32_t *a, uint32_t *b, uint32_t *c, uin… in cpuid_c() function
339 cpuid_c(0x7, 0, &a, &b, &c, &d); in check_smep_avail()
347 cpuid_c(0x7, 0, &a, &b, &c, &d); in check_smap_avail()
|
Completed in 3 milliseconds