/* * Functions provided to machine-independent ISA code. */