RAM wird in Windows 10 nicht addiert (nicht ausgelagert / Poolmon OK)

Question

wie viele andere hier ist mir aufgefallen, dass der Gesamt-RAM, den meine Prozesse verwenden (ca. 6 GB), nicht dem Gesamt-RAM entspricht, das verwendet wird (ca. 11 GB). Ich habe WDK heruntergeladen und Poolmon ausgeführt, und es ist nichts wirklich Großes passiert; die Menge des nicht ausgelagerten Pools – 525 MB – scheint nicht sehr hoch zu sein.

Auf dem System läuft Windows 10 mit 16 GB physischem Speicher (2 Karten mit 8 GB – die zweite habe ich vor Kurzem installiert).

Hier sind einige Screenshots vom Task-Manager, Ressourcenmonitor und Poolmon. Ich wäre für jeden Hinweis dankbar, der das Problem erklären könnte.

Hier ist ein Screenshot, der zeigt, wie die Anzeigepfeile in Firefox und Android Studio erweitert werden, der „fehlende“ RAM jedoch nirgends zu finden ist