Barrelfish
Functions
plat_a57mpcore.c File Reference

Functions

lpaddr_t platform_get_private_region (void)
 returns the private memory region More...
 
lpaddr_t platform_get_gic_cpu_address (void)
 obtain the address of the GIC CPU interface More...
 
size_t platform_get_gic_cpu_size (void)
 returns the size of the GIC cpu region More...
 

Function Documentation

lpaddr_t platform_get_gic_cpu_address ( void  )

obtain the address of the GIC CPU interface

Returns
physical address of the CBAR region
size_t platform_get_gic_cpu_size ( void  )

returns the size of the GIC cpu region

Returns
lpaddr_t platform_get_private_region ( void  )

returns the private memory region

Returns
physical address of the CBAR region