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

/barrelfish-master/kernel/arch/arm/
H A Dexn.c75 union registers_arm resume_area; local
111 union registers_arm resume_area; local
[all...]
/barrelfish-master/kernel/arch/armv8/
H A Dexn.c27 handle_user_page_fault(lvaddr_t fault_address, arch_registers_state_t* save_area, union registers_aarch64 *resume_area) argument
95 handle_user_undef(lvaddr_t fault_address, enum aarch64_exception_class cause, arch_registers_state_t* save_area, union registers_aarch64 *resume_area) argument
137 union registers_aarch64 resume_area; local
[all...]

Completed in 33 milliseconds