Searched refs:ext_high (Results 1 – 1 of 1) sorted by relevance
| /freebsd/sys/amd64/vmm/amd/ |
| H A D | ivrs_drv.c | 554 uint32_t ext_low, ext_high; in ivhd_print_ext_feature() local
585 ext_high = ext_feature >> 32; in ivhd_print_ext_feature()
589 (int)(ext_high), in ivhd_print_ext_feature()
603 REG_BITS(ext_high, 5, 0), in ivhd_print_ext_feature()
604 REG_BITS(ext_high, 8, 7), in ivhd_print_ext_feature()
605 REG_BITS(ext_high, 11, 10)); in ivhd_print_ext_feature()
|