Lines Matching refs:fb_cookie
404 * fb_cookie - uint64_t, unique to guest domain value used by the backend
584 * | fb_cookie low 32-bit | 20
586 * | fb_cookie high 32-bit | 24
607 * An attempt to create multiple frame buffers with the same fb_cookie is
608 * an error. fb_cookie can be re-used after destroying the corresponding
618 uint64_t fb_cookie;
633 * | fb_cookie low 32-bit | 12
635 * | fb_cookie high 32-bit | 16
650 uint64_t fb_cookie;
662 * | fb_cookie low 32-bit | 12
664 * | fb_cookie high 32-bit | 16
698 uint64_t fb_cookie;
715 * | fb_cookie low 32-bit | 12
717 * | fb_cookie high 32-bit | 16
728 uint64_t fb_cookie;
844 * | fb_cookie low 32-bit | 12
846 * | fb_cookie high 32-bit | 16
857 uint64_t fb_cookie;