PGMAP_BASE
set_control_word(CONTROL_ADDR_BUILD(PGMAP_BASE, va), pte);
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);
pte = get_control_word(CONTROL_ADDR_BUILD(PGMAP_BASE, va));
set_control_word(CONTROL_ADDR_BUILD(PGMAP_BASE, va), pte);
va = CONTROL_ADDR_BUILD(PGMAP_BASE, va);
va = CONTROL_ADDR_BUILD(PGMAP_BASE, va);