8 arm_mem = mem_get_region_by_name( MEM_REGION_AUDIO );
12 int arm_has_page( uint32_t addr ) {
13 return ( addr < 0x00200000 ||
14 (addr >= 0x00800000 && addr <= 0x00805000 ) );
17 int32_t arm_read_long( uint32_t addr ) {
18 if( addr < 0x00200000 ) {
19 return *(int32_t *)(arm_mem + addr);
21 } else if( addr >= 0x00800000 && addr <= 0x00803000 ) {
22 /* Sound registers / scratch ram */
24 /* Undefined memory */
25 ERROR( "Attempted long read to undefined page: %08X",
31 int16_t arm_read_word( uint32_t addr ) {
32 if( addr < 0x00200000 ) {
33 return *(int16_t *)(arm_mem + addr);
36 /* Undefined memory */
37 ERROR( "Attempted word read to undefined page: %08X",
44 int8_t arm_read_byte( uint32_t addr ) {
45 if( addr < 0x00200000 ) {
46 return *(int8_t *)(arm_mem + addr);
49 /* Undefined memory */
50 ERROR( "Attempted byte read to undefined page: %08X",
56 uint32_t arm_read_long_user( uint32_t addr ) {
60 uint32_t arm_read_byte_user( uint32_t addr ) {
.