Meta: the mseal() prototype in the article needs some editing, it is not syntacticallly correct as shown now. The first argument is shown as

    unsigned start addr

But should probably be

    unsigned long start_addr