/* bits 0xffff0000: mapping flags */