Home
last modified time | relevance | path

Searched refs:ivhd_type (Results 1 – 2 of 2) sorted by relevance

/freebsd/sys/amd64/vmm/amd/
H A Divrs_drv.c466 ivhd_print_flag(device_t dev, enum IvrsType ivhd_type, uint8_t flag) in ivhd_print_flag() argument
472 switch (ivhd_type) { in ivhd_print_flag()
500 ivhd_type); in ivhd_print_flag()
509 ivhd_print_feature(device_t dev, enum IvrsType ivhd_type, uint32_t feature) in ivhd_print_feature() argument
511 switch (ivhd_type) { in ivhd_print_feature()
515 ivhd_type, in ivhd_print_feature()
539 ivhd_type, in ivhd_print_feature()
546 device_printf(dev, "Can't decode ivhd type :0x%x\n", ivhd_type); in ivhd_print_feature()
616 ivhd_print_flag(dev, softc->ivhd_type, softc->ivhd_flag); in ivhd_print_cap()
617 ivhd_print_feature(dev, softc->ivhd_type, softc->ivhd_feature); in ivhd_print_cap()
[all …]
H A Damdvi_priv.h380 enum IvrsType ivhd_type; /* IOMMU IVHD type. */ member