Searched defs:sysreg_write_sp (Results 1 - 1 of 1) sorted by relevance

/barrelfish-2018-10-04/kernel/include/arch/armv8/
H A Dsysreg.h296 sysreg_write_sp(uint64_t sp) { function

Completed in 116 milliseconds