Lines Matching refs:fb_cookie
411 * fb_cookie - uint64_t, unique to guest domain value used by the backend
587 * | fb_cookie low 32-bit | 20
589 * | fb_cookie high 32-bit | 24
610 * An attempt to create multiple frame buffers with the same fb_cookie is
611 * an error. fb_cookie can be re-used after destroying the corresponding
621 uint64_t fb_cookie;
636 * | fb_cookie low 32-bit | 12
638 * | fb_cookie high 32-bit | 16
653 uint64_t fb_cookie;
665 * | fb_cookie low 32-bit | 12
667 * | fb_cookie high 32-bit | 16
701 uint64_t fb_cookie;
718 * | fb_cookie low 32-bit | 12
720 * | fb_cookie high 32-bit | 16
731 uint64_t fb_cookie;
780 * | fb_cookie low 32-bit | 12
782 * | fb_cookie high 32-bit | 16
793 uint64_t fb_cookie;