get_uint16
ASSERT(get_uint16(&uhead[0]) == DMAR_DRHD);
seg = get_uint16(&uhead[6]);
len = get_uint16(&uhead[2]);
ASSERT(get_uint16(&uhead[0]) == DMAR_RMRR);
seg = get_uint16(&uhead[6]);
len = get_uint16(&uhead[2]);
rmrr->rm_seg = get_uint16(&uhead[6]);
switch (get_uint16(uhead)) {
get_uint16(uhead), unmstr);
uhead += get_uint16(&uhead[2]);