···11+// All implementation details have been taken from here
22+// http://www.simtec.co.uk/products/SWLINUX/files/booting_article.html#appendix_tag_reference
33+14#include <stdint.h>
2536#ifndef ATAG_H
-1
os/src/common/stdlib.c
···3344#include <stdint.h>
5566-// raspi model 1 does not have division instruction, so we need to define our own
76__inline__ uint32_t div(uint32_t dividend, uint32_t divisor)
87{
98#if MODEL_0 || MODEL_1