Searched refs:user_mode (Results 1 – 2 of 2) sorted by relevance
65 const bool user_mode = !(curr->arch.flags & TF_kernel_mode); in guest_get_eff_kern_l1e() local68 if ( user_mode ) in guest_get_eff_kern_l1e()73 if ( user_mode ) in guest_get_eff_kern_l1e()
165 const bool user_mode = !(v->arch.flags & TF_kernel_mode); in guest_io_okay() local178 if ( user_mode ) in guest_io_okay()191 if ( user_mode ) in guest_io_okay()
Completed in 4 milliseconds