INT_KNOWN 1043 uspace/drv/nic/rtl8169/driver.c uint16_t isr = (uint16_t) ipc_get_arg2(icall) & INT_KNOWN; INT_KNOWN 1080 uspace/drv/nic/rtl8169/driver.c isr = pio_read_16(rtl8169->regs + ISR) & INT_KNOWN;