Searched defs:evmcs_read32 (Results 1 – 2 of 2) sorted by relevance
147 static inline u32 evmcs_read32(unsigned long field) in evmcs_read32() function194 static inline u32 evmcs_read32(unsigned long field) { return 0; } in evmcs_read32() function
1437 static inline u32 evmcs_read32(unsigned long field) in evmcs_read32() function1593 static inline u32 evmcs_read32(unsigned long field) { return 0; } in evmcs_read32() function