Searched refs:int_icr3 (Results 1 – 2 of 2) sorted by relevance
25 out_be32(&intp->int_icr3, 0x88888888); in interrupt_init()
49 uint int_icr3; member