IBSCTL 414 arch/x86/oprofile/op_model_amd.c pci_write_config_dword(cpu_cfg, IBSCTL, ibs_eilvt_off IBSCTL 416 arch/x86/oprofile/op_model_amd.c pci_read_config_dword(cpu_cfg, IBSCTL, &value);