get_control_word
pte = get_control_word(CONTROL_ADDR_BUILD(PGMAP_BASE, va));
return (get_control_word(CONTROL_ADDR_BUILD(PGMAP_BASE, va)));
u_int get_control_word(vaddr_t);
pte = get_control_word(CONTROL_ADDR_BUILD(PGMAP_BASE, va));
return (get_control_word(va));
u_int get_control_word(vaddr_t);