78 	uint32_t exceptions = thread_mask_exceptions(THREAD_EXCP_FOREIGN_INTR);  in get_current_prtn()  local
98 	uint32_t exceptions = thread_mask_exceptions(THREAD_EXCP_FOREIGN_INTR);  in set_current_prtn()  local
306 	uint32_t exceptions = 0;  in virt_guest_created()  local
401 	uint32_t exceptions = 0;  in virt_next_guest()  local
432 	uint32_t exceptions = 0;  in virt_get_guest()  local
446 		uint32_t exceptions = 0;  in virt_put_guest()  local
483 	uint32_t exceptions = 0;  in virt_guest_destroyed()  local
605 	uint32_t exceptions = 0;  in virt_add_cookie_to_current_guest()  local
626 	uint32_t exceptions = 0;  in virt_remove_cookie()  local
642 	uint32_t exceptions = 0;  in virt_find_guest_by_cookie()  local
697 	uint32_t exceptions = 0;  in virt_reclaim_cookie_from_destroyed_guest()  local