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

/barrelfish-2018-10-04/kernel/include/arch/armv8/
H A Dsysreg.h71 //ARMV8_SYSREG_RW(sp_el1, SP_EL1, 64)
306 sysreg_write_sp_el1(uint64_t sp_el1) { argument
307 __asm volatile("msr sp_el1, %[sp_el1]" : : [sp_el1] "r" (sp_el1));

Completed in 78 milliseconds