mb2addr_t 84 kernel/genarch/include/genarch/multiboot/multiboot2.h mb2addr_t start; mb2addr_t 85 kernel/genarch/include/genarch/multiboot/multiboot2.h mb2addr_t end;