2018-02-17 22:54:00 +00:00
|
|
|
#ifndef EXOSPHERE_UTILS_H
|
|
|
|
#define EXOSPHERE_UTILS_H
|
|
|
|
|
2018-02-18 02:50:39 +00:00
|
|
|
#include <stdint.h>
|
2018-02-18 23:02:37 +00:00
|
|
|
#include <stddef.h>
|
2018-02-18 02:50:39 +00:00
|
|
|
|
2018-02-17 22:54:00 +00:00
|
|
|
void panic(void);
|
|
|
|
|
2018-02-18 23:02:37 +00:00
|
|
|
static inline uint32_t read32le(const void *dword, size_t offset) {
|
|
|
|
return *(uint32_t *)((uintptr_t)dword + offset);
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline uint32_t read32be(const unsigned char *dword, size_t offset) {
|
|
|
|
return __builtin_bswap32(read32le(dword, offset));
|
|
|
|
}
|
2018-02-17 22:54:00 +00:00
|
|
|
|
2018-02-18 23:02:37 +00:00
|
|
|
static inline unsigned int get_core_id(void) {
|
|
|
|
unsigned int core_id;
|
|
|
|
__asm__ __volatile__ ("mrs %0, MPIDR_EL1" : "=r"(core_id));
|
2018-02-18 02:50:39 +00:00
|
|
|
return core_id;
|
|
|
|
}
|
|
|
|
|
2018-02-18 23:02:37 +00:00
|
|
|
#endif
|