wait_instruction_complete
return wait_instruction_complete(cch, cchop_interrupt);
ret = wait_instruction_complete(cch, cchop_deallocate);
return wait_instruction_complete(cch, cchop_interrupt_sync);
return wait_instruction_complete(tgh, tghop_invalidate);
return wait_instruction_complete(tfh, tfhop_write_only);
ret = wait_instruction_complete(cch, cchop_allocate);
return wait_instruction_complete(cch, cchop_start);