Searched refs:vtd_read_reg64 (Results 1 – 1 of 1) sorted by relevance
59 static uint64_t vtd_read_reg64(const struct device *dev, uint16_t reg) in vtd_read_reg64() function264 fault_l = vtd_read_reg64(dev, data->fault_record_reg + in fault_event_isr()267 fault_h = vtd_read_reg64(dev, data->fault_record_reg + in fault_event_isr()292 value = vtd_read_reg64(dev, VTD_CAP_REG); in vtd_fault_event_init()479 if (vtd_read_reg64(dev, VTD_ECAP_REG) & VTD_ECAP_C) { in vtd_ictl_init()
