ibt es für die x86-64-Architektur einen Befehl, der Daten an einer bestimmten Speicheradresse in den Cache laden kann? In ähnlicher Weise gibt es einen Befehl, der eine Cache-Zeile mit einer dieser Cache-Zeile entsprechenden Speicheradresse (oder so etwas wie eine Cache-Zeilen-Kennung) löschen kann?