intel_idpgtbl.c: rename domain_* functions to dmar_*
(cherry picked from commit 10ebd230f4d9ed5c6406037972776666a2241107)