set_control_word
set_control_word(CONTROL_ADDR_BUILD(PGMAP_BASE, va), pte);
set_control_word(CONTROL_ADDR_BUILD(PGMAP_BASE, va), pte);
void set_control_word(vaddr_t, u_int);
set_control_word(CONTROL_ADDR_BUILD(PGMAP_BASE, va), pte);
set_control_word(va, pte);
void set_control_word(vaddr_t, u_int);