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

/barrelfish-2018-10-04/include/arch/x86_64/barrelfish_kpi/
H A Dregisters_arch.h50 registers_get_sp(arch_registers_state_t *regs) function
/barrelfish-2018-10-04/include/arch/x86_32/barrelfish_kpi/
H A Dregisters_arch.h53 registers_get_sp(arch_registers_state_t *regs) function
/barrelfish-2018-10-04/include/arch/aarch64/barrelfish_kpi/
H A Dregisters_arch.h132 registers_get_sp(arch_registers_state_t *regs) function
/barrelfish-2018-10-04/include/arch/arm/barrelfish_kpi/
H A Dregisters_arch.h126 registers_get_sp(arch_registers_state_t *regs) function

Completed in 92 milliseconds