version 1.1.1.6, 2018/04/24 18:38:09
|
version 1.1.1.7, 2018/04/24 19:00:09
|
Line 4
|
Line 4
|
* Copyright (c) 2006-2007 CodeSourcery. |
* Copyright (c) 2006-2007 CodeSourcery. |
* Written by Paul Brook |
* Written by Paul Brook |
* |
* |
* This code is licenced under the GPL. |
* This code is licensed under the GPL. |
*/ |
*/ |
|
|
#include "sysbus.h" |
#include "sysbus.h" |
#include "arm-misc.h" |
#include "arm-misc.h" |
#include "sysemu.h" |
|
#include "loader.h" |
#include "loader.h" |
#include "elf.h" |
#include "elf.h" |
|
|
/* Bitbanded IO. Each word corresponds to a single bit. */ |
/* Bitbanded IO. Each word corresponds to a single bit. */ |
|
|
/* Get the byte address of the real memory for a bitband acess. */ |
/* Get the byte address of the real memory for a bitband access. */ |
static inline uint32_t bitband_addr(void * opaque, uint32_t addr) |
static inline uint32_t bitband_addr(void * opaque, uint32_t addr) |
{ |
{ |
uint32_t res; |
uint32_t res; |