sm_entry_is_double_word
ASSERT(sm_entry_is_double_word(word));
ASSERT(sm_entry_is_double_word(e));
if (sm_entry_is_double_word(entry)) {
ASSERT(sm_entry_is_double_word(e));
boolean_t sm_entry_is_double_word(uint64_t e);