SEGMAP_BASE
return (get_control_byte(CONTROL_ADDR_BUILD(SEGMAP_BASE, va)));
set_control_byte(CONTROL_ADDR_BUILD(SEGMAP_BASE, va), sme);
return (get_control_byte(CONTROL_ADDR_BUILD(SEGMAP_BASE, va)));
set_control_byte(CONTROL_ADDR_BUILD(SEGMAP_BASE, va), sme);
va = CONTROL_ADDR_BUILD(SEGMAP_BASE, va);
va = CONTROL_ADDR_BUILD(SEGMAP_BASE, va);
va = CONTROL_ADDR_BUILD(SEGMAP_BASE, va);
va = CONTROL_ADDR_BUILD(SEGMAP_BASE, va);