pub const MSR_LASTBRANCH_3: u32 = 0x1de;
Last Branch Record 3 See description of the MSR_LASTBRANCH_0 MSR at 1DBH.