get_control_byte
return (get_control_byte(CONTROL_ADDR_BUILD(SEGMAP_BASE, va)));
return (get_control_byte(CONTEXT_REG) & CONTEXT_MASK);
x = get_control_byte(src);
enab_reg = get_control_byte(SYSTEM_ENAB);
return (get_control_byte(CONTEXT_REG) & CONTEXT_MASK);
return (get_control_byte(CONTROL_ADDR_BUILD(SEGMAP_BASE, va)));
int get_control_byte(vaddr_t);
ena = get_control_byte(SYSTEM_ENAB);
ena = get_control_byte(SYSTEM_ENAB);
x = get_control_byte(src++);
return (get_control_byte(va));
x = get_control_byte(src);
return (get_control_byte(va));
x = get_control_byte(src++);
int get_control_byte(vaddr_t);