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

/barrelfish-2018-10-04/include/arch/x86_64/barrelfish_kpi/
H A Dregisters_arch.h38 registers_get_param(arch_registers_state_t *regs, uintptr_t *param) function
/barrelfish-2018-10-04/include/arch/x86_32/barrelfish_kpi/
H A Dregisters_arch.h41 registers_get_param(arch_registers_state_t *regs, uintptr_t *param) function
/barrelfish-2018-10-04/include/arch/aarch64/barrelfish_kpi/
H A Dregisters_arch.h120 registers_get_param(arch_registers_state_t *regs, uint64_t *param) function
/barrelfish-2018-10-04/include/arch/arm/barrelfish_kpi/
H A Dregisters_arch.h114 registers_get_param(arch_registers_state_t *regs, uintptr_t *param) function

Completed in 102 milliseconds