DMAR: rename domain_{alloc,free}_pgtbl to domain_domain_$1_pgtbl
(cherry picked from commit 23145534154c279e3e8cbcd17d155f7ee67d8aa9)
DMAR: rename domain_{alloc,free}_pgtbl to domain_domain_$1_pgtbl Tags None Referenced Files None Subscribers None
Description
Details
|