I need help understanding how to locate implementation of rdmsr_safe_regs() in the linux kernel