Searched refs:hw_cap (Results 1 – 2 of 2) sorted by relevance
140 vki_uint32_t hw_cap[8]; member157 vki_uint32_t hw_cap[8]; member
1749 POST_XEN_SYSCTL_WRITE(physinfo_00000008, hw_cap[8]); in POST()1765 POST_XEN_SYSCTL_WRITE(physinfo_0000000a, hw_cap[8]); in POST()