PCI_LATTIMER
msr |= ((uint64_t)PCI_LATTIMER(data)) << 32;
msr |= ((uint64_t)PCI_LATTIMER(data)) << 32;
msr |= ((uint64_t)PCI_LATTIMER(data)) << 32;
msr |= ((uint64_t)PCI_LATTIMER(data)) << 32;
msr |= ((uint64_t)PCI_LATTIMER(data)) << 32;
if (lt == 0 || lt < PCI_LATTIMER(bhlc))
lt = PCI_LATTIMER(bhlc);
if (PCI_LATTIMER(reg) < latency) {
if (PCI_LATTIMER(reg) < 0x20) {
if (PCI_LATTIMER(bhlc) < lattimer) {
if (PCI_LATTIMER(reg) < 0x20) {
if (PCI_LATTIMER(reg) < 0x20) {
PCI_LATTIMER(reg)));
if (PCI_LATTIMER(reg) < 0x40) {
if (PCI_LATTIMER(reg) < 0x20) {
lattimer = rounddown(PCI_LATTIMER(bhlc), 0x10);
if (PCI_LATTIMER(bhlc) != lattimer) {
if (PCI_LATTIMER(reg) < 0x20) {
if (PCI_LATTIMER(reg) < latency) {
if (PCI_LATTIMER(reg) < latency) {
&& (PCI_LATTIMER(bhlcr) < 0x20)) {
if ( PCI_LATTIMER(mem) < 32 ) {
if (PCI_LATTIMER(temp1) < 32) {
if (PCI_LATTIMER(bhlc) < lattimer) {
lattimer = rounddown(PCI_LATTIMER(bhlc), 0x10);
if (PCI_LATTIMER(bhlc) != lattimer) {
cba.cba_max_lattimer = PCI_LATTIMER(bhlc);
if (PCI_LATTIMER(bhlc) < 0x10) {
PCI_LATTIMER(bhlc), pci_conf_read(pc, tag, PCI_BHLC_REG)));
printf(" Latency Timer: 0x%02x\n", PCI_LATTIMER(rval));