Searched refs:MSR_PPIN_INTC (Results 1 – 2 of 2) sorted by relevance
101 ppin_msr = MSR_PPIN_INTC; in gcpu_init_ident_ppin()
605 #define MSR_PPIN_INTC 0x04f macro