55 		efi_st_error("could not create event\n");  in setup()
61 		efi_st_error("could not create event\n");  in setup()
82 			efi_st_error("could not close event\n");  in teardown()
90 			efi_st_error("could not close event\n");  in teardown()
117 		efi_st_error("Could not set timer\n");  in execute()
123 		efi_st_error("Could not set timer\n");  in execute()
131 		efi_st_error("Could not wait for event\n");  in execute()
136 		efi_st_error("Signaled state was not cleared.\n");  in execute()
141 		efi_st_error("WaitForEvent returned wrong index\n");  in execute()
146 		efi_st_error("Incorrect timing of events\n");  in execute()
151 		efi_st_error("Could not cancel timer\n");  in execute()
158 		efi_st_error("Could not set timer\n");  in execute()
164 		efi_st_error("Could not set timer\n");  in execute()
169 		efi_st_error("Could not wait for event\n");  in execute()
175 		efi_st_error("Single shot timer failed\n");  in execute()
180 		efi_st_error("Could not wait for event\n");  in execute()
186 		efi_st_error("Stopped timer fired\n");  in execute()
191 		efi_st_error("Could not cancel timer\n");  in execute()