NOCT_EA_CTX_DAT_1  262 dev/pci/noct.c 	NOCT_WRITE_4(sc, NOCT_EA_CTX_DAT_1, (dat >> 32) & 0xffffffff);
NOCT_EA_CTX_DAT_1  295 dev/pci/noct.c 	dat = NOCT_READ_4(sc, NOCT_EA_CTX_DAT_1);