Searched defs:REG_NAMES (Results 1 – 2 of 2) sorted by relevance
29 const REG_NAMES: [WHV_REGISTER_NAME; 18] = [ constant186 const REG_NAMES: [WHV_REGISTER_NAME; 16] = [ constant323 const REG_NAMES: [WHV_REGISTER_NAME; 26] = [ constant527 const REG_NAMES: [WHV_REGISTER_NAME; 6] = [ constant619 const REG_NAMES: [WHV_REGISTER_NAME; 4] = [ constant
361 const REG_NAMES: [WHV_REGISTER_NAME; 3] = [ in handle_msr_read() constant414 const REG_NAMES: [WHV_REGISTER_NAME; 1] = [WHV_REGISTER_NAME_WHvX64RegisterRip]; in handle_msr_write() constant431 const REG_NAMES: [WHV_REGISTER_NAME; 1] = [WHV_REGISTER_NAME_WHvRegisterPendingEvent]; in inject_gp_fault() constant722 const REG_NAMES: [WHV_REGISTER_NAME; 1] = in set_interrupt_window_requested() constant774 const REG_NAMES: [WHV_REGISTER_NAME; 1] = in interrupt() constant801 const REG_NAMES: [WHV_REGISTER_NAME; 1] = in inject_nmi() constant1194 const REG_NAMES: [WHV_REGISTER_NAME; 5] = [ in handle_cpuid() constant