Lines Matching defs:idhigh
246 uint32_t idhigh, idlow;
257 idhigh = siba_eio_read_4(io, core_idx, SB0_REG_ABS(SIBA_CFG0_IDHIGH));
261 ocp_vendor = SIBA_REG_GET(idhigh, IDH_VENDOR);
323 .device = SIBA_REG_GET(idhigh, IDH_DEVICE),
324 .hwrev = SIBA_IDH_CORE_REV(idhigh),
671 uint32_t idhigh, idlow;
674 idhigh = siba_eio_read_4(&sc->io, i,
680 printf("\tvendor:\t0x%04x\n", SIBA_REG_GET(idhigh, IDH_VENDOR));
681 printf("\tdevice:\t0x%04x\n", SIBA_REG_GET(idhigh, IDH_DEVICE));
682 printf("\trev:\t0x%04x\n", SIBA_IDH_CORE_REV(idhigh));