page_create_update_flags_x86
flags = page_create_update_flags_x86(flags);
extern uint_t page_create_update_flags_x86(uint_t);