54 		efi_st_error("could not create event\n");  in setup()
60 		efi_st_error("could not create event\n");  in setup()
81 			efi_st_error("could not close event\n");  in teardown()
89 			efi_st_error("could not close event\n");  in teardown()
121 		efi_st_error("Could not set timer\n");  in execute()
127 		efi_st_error("Could not set timer\n");  in execute()
133 		efi_st_error("Could not wait for event\n");  in execute()
138 		efi_st_error("Signaled state was not cleared.\n");  in execute()
143 		efi_st_error("WaitForEvent returned wrong index\n");  in execute()
150 		efi_st_error("Incorrect timing of events\n");  in execute()
155 		efi_st_error("Could not cancel timer\n");  in execute()
161 		efi_st_error("Initial TPL level was not TPL_APPLICATION");  in execute()
168 		efi_st_error("Could not set timer\n");  in execute()
174 		efi_st_error("Could not set timer\n");  in execute()
181 		efi_st_error("Could not check event\n");  in execute()
188 		efi_st_error("Suppressed timer fired\n");  in execute()
194 		efi_st_error("Could not set timer\n");  in execute()
201 		efi_st_error("Could not wait for event\n");  in execute()
208 		efi_st_error("Queued timer event did not fire\n");  in execute()
213 		efi_st_error("Could not cancel timer\n");  in execute()