/* XXX ISA-specific. */