Searched refs:pgid_high (Results 1 – 2 of 2) sorted by relevance
57 } __attribute__ ((packed)) pgid_high; member
872 css->global_pgid.pgid_high.ext_cssid.version = 0x80; in css_generate_pgid()873 css->global_pgid.pgid_high.ext_cssid.cssid = in css_generate_pgid()876 css->global_pgid.pgid_high.cpu_addr = stap(); in css_generate_pgid()