Searched refs:sysreg_read_isr_el1 (Results 1 - 2 of 2) sorted by relevance

/barrelfish-2018-10-04/kernel/arch/armv8/
H A Dtimers.c32 printk(LOG_NOTE, "isr_el1=%p\n", sysreg_read_isr_el1());
/barrelfish-2018-10-04/kernel/include/arch/armv8/
H A Dsysreg.h336 sysreg_read_isr_el1(void) { function

Completed in 36 milliseconds