Searched refs:range_start_id (Results 1 - 1 of 1) sorted by relevance

/freebsd-12-stable/sys/amd64/vmm/amd/
H A Divrs_drv.c202 int range_start_id = 0, range_end_id = 0; local
254 range_start_id = de->Id;
266 ivhd_dev_add_entry(softc, range_start_id, range_end_id,
268 range_start_id = range_end_id = 0;

Completed in 46 milliseconds