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

/barrelfish-master/kernel/arch/arm/
H A Dexec.c43 ensure_user_mode_policy(arch_registers_state_t *state) function
75 ensure_user_mode_policy(state);
89 ensure_user_mode_policy(state);
/barrelfish-master/kernel/arch/armv8/
H A Dexec.c38 ensure_user_mode_policy(arch_registers_state_t *state) function
76 ensure_user_mode_policy(state);
90 ensure_user_mode_policy(state);

Completed in 27 milliseconds