Searched refs:ceed_2 (Results 1 – 1 of 1) sorted by relevance
8 Ceed ceed, ceed_2; in main() local11 CeedInit("/cpu/self/ref/serial", &ceed_2); in main()13 CeedReferenceCopy(ceed, &ceed_2); // This destroys the previous ceed_2 in main()14 if (ceed != ceed_2) printf("Error copying Ceed reference\n"); in main()19 CeedGetPreferredMemType(ceed_2, &type); // Second reference still valid in main()21 CeedDestroy(&ceed_2); // Both references should be destroyed in main()