Home
last modified time | relevance | path

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

/f-stack/freebsd/amd64/vmm/amd/
H A Divrs_drv.c441 ivhd_print_flag(device_t dev, enum IvrsType ivhd_type, uint8_t flag) in ivhd_print_flag() argument
447 switch (ivhd_type) { in ivhd_print_flag()
475 ivhd_type); in ivhd_print_flag()
484 ivhd_print_feature(device_t dev, enum IvrsType ivhd_type, uint32_t feature) in ivhd_print_feature() argument
486 switch (ivhd_type) { in ivhd_print_feature()
490 ivhd_type, in ivhd_print_feature()
514 ivhd_type, in ivhd_print_feature()
521 device_printf(dev, "Can't decode ivhd type :0x%x\n", ivhd_type); in ivhd_print_feature()
591 ivhd_print_flag(dev, softc->ivhd_type, softc->ivhd_flag); in ivhd_print_cap()
592 ivhd_print_feature(dev, softc->ivhd_type, softc->ivhd_feature); in ivhd_print_cap()
[all …]
H A Damdvi_priv.h378 enum IvrsType ivhd_type; /* IOMMU IVHD type. */ member