void DeregisterKfdMemory(void* ptr) {
  hsaKmtUnmapMemoryToGPU(ptr);
  hsaKmtDeregisterMemory(ptr);
}
static void MakeKfdMemoryUnresident(void* ptr) {
    hsaKmtUnmapMemoryToGPU(ptr);
}