br c8155095b6 Deactivate IRQ resource by calling to intr_deactivate_irq(). ... This is the part of INTRNG support that was missed. Sponsored by: DARPA, AFRL		2019-05-01 15:03:12 +00:00
..
conf	Configure hz=100 in the QEMU target.	2019-01-03 16:11:21 +00:00
include	RISC-V: initialize pcpu slightly earlier	2019-04-07 20:12:24 +00:00
riscv	Deactivate IRQ resource by calling to intr_deactivate_irq().	2019-05-01 15:03:12 +00:00