efi_queue_work
status = efi_queue_work(GET_TIME, tm, tc);
status = efi_queue_work(SET_TIME, tm);
status = efi_queue_work(GET_WAKEUP_TIME, enabled, pending, tm);
status = efi_queue_work(SET_WAKEUP_TIME, enabled, tm);
status = efi_queue_work(GET_VARIABLE, name, vendor, attr, data_size,
status = efi_queue_work(GET_NEXT_VARIABLE, name_size, name, vendor);
status = efi_queue_work(SET_VARIABLE, name, vendor, attr, data_size,
status = efi_queue_work(QUERY_VARIABLE_INFO, attr, storage_space,
status = efi_queue_work(GET_NEXT_HIGH_MONO_COUNT, count);
status = efi_queue_work(UPDATE_CAPSULE, capsules, count, sg_list);
status = efi_queue_work(QUERY_CAPSULE_CAPS, capsules, count,
status = efi_queue_work(ACPI_PRM_HANDLER, handler_addr,