Searched defs:initrd_addr_max (Results 1 – 2 of 2) sorted by relevance
55 uint32_t initrd_addr_max; /* Highest address for initrd */ member
446 unsigned long initrd_addr_max; /* The highest address of initrd */ member