CONTROL_ADDR_BUILD
set_control_word(CONTROL_ADDR_BUILD(PGMAP_BASE, va), pte);
return (get_control_byte(CONTROL_ADDR_BUILD(SEGMAP_BASE, va)));
set_control_byte(CONTROL_ADDR_BUILD(SEGMAP_BASE, va), sme);
pte = get_control_word(CONTROL_ADDR_BUILD(PGMAP_BASE, va));
return (get_control_word(CONTROL_ADDR_BUILD(PGMAP_BASE, va)));
set_control_word(CONTROL_ADDR_BUILD(PGMAP_BASE, va), pte);
return (get_control_byte(CONTROL_ADDR_BUILD(SEGMAP_BASE, va)));
set_control_byte(CONTROL_ADDR_BUILD(SEGMAP_BASE, va), sme);
pte = get_control_word(CONTROL_ADDR_BUILD(PGMAP_BASE, va));
set_control_word(CONTROL_ADDR_BUILD(PGMAP_BASE, va), pte);
va = CONTROL_ADDR_BUILD(SEGMAP_BASE, va);
va = CONTROL_ADDR_BUILD(SEGMAP_BASE, va);
va = CONTROL_ADDR_BUILD(PGMAP_BASE, va);
va = CONTROL_ADDR_BUILD(PGMAP_BASE, va);
va = CONTROL_ADDR_BUILD(SEGMAP_BASE, va);
va = CONTROL_ADDR_BUILD(SEGMAP_BASE, va);