2018-02-25 19:00:50 +00:00
|
|
|
#ifndef EXOSPHERE_UTILS_H
|
|
|
|
#define EXOSPHERE_UTILS_H
|
|
|
|
|
|
|
|
#include <stdbool.h>
|
|
|
|
#include <stddef.h>
|
|
|
|
#include <stdint.h>
|
|
|
|
|
2018-02-25 20:41:16 +00:00
|
|
|
#define BIT(n) (1u << (n))
|
|
|
|
#define BITL(n) (1ull << (n))
|
2018-02-28 22:35:30 +00:00
|
|
|
#define MASK(n) (BIT(n) - 1)
|
|
|
|
#define MASKL(n) (BITL(n) - 1)
|
|
|
|
#define MASK2(a,b) (MASK(a) & ~MASK(b))
|
|
|
|
#define MASK2L(a,b) (MASKL(a) & ~MASKL(b))
|
2018-02-25 20:41:16 +00:00
|
|
|
|
|
|
|
#define ALIGN(m) __attribute__((aligned(m)))
|
|
|
|
#define PACKED __attribute__((packed))
|
|
|
|
|
2018-02-26 21:09:35 +00:00
|
|
|
#define ALINLINE __attribute__((always_inline))
|
2018-02-28 22:35:30 +00:00
|
|
|
#define FAR_REACHING __attribute__((target("cmodel=large"), noinline))
|
2018-02-25 19:00:50 +00:00
|
|
|
|
2018-02-28 03:43:07 +00:00
|
|
|
__attribute__ ((noreturn)) void panic(uint32_t code);
|
|
|
|
__attribute__ ((noreturn)) void generic_panic(void);
|
2018-02-25 19:00:50 +00:00
|
|
|
bool overlaps(uint64_t as, uint64_t ae, uint64_t bs, uint64_t be);
|
|
|
|
|
|
|
|
static inline uintptr_t get_physical_address(const void *vaddr) {
|
|
|
|
uintptr_t PAR;
|
|
|
|
__asm__ __volatile__ ("at s1e3r, %0" :: "r"(vaddr));
|
|
|
|
__asm__ __volatile__ ("mrs %0, par_el1" : "=r"(PAR));
|
2018-02-28 22:35:30 +00:00
|
|
|
return (PAR & 1) ? 0ull : (PAR & MASK2L(40, 12)) | ((uintptr_t)vaddr & MASKL(12));
|
2018-02-25 19:00:50 +00:00
|
|
|
}
|
|
|
|
|
|
|
|
static inline uint32_t read32le(const volatile void *dword, size_t offset) {
|
|
|
|
return *(uint32_t *)((uintptr_t)dword + offset);
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline uint32_t read32be(const volatile void *dword, size_t offset) {
|
|
|
|
return __builtin_bswap32(read32le(dword, offset));
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline uint64_t read64le(const volatile void *qword, size_t offset) {
|
|
|
|
return *(uint64_t *)((uintptr_t)qword + offset);
|
|
|
|
}
|
|
|
|
|
|
|
|
static inline unsigned int get_core_id(void) {
|
|
|
|
uint64_t core_id;
|
|
|
|
__asm__ __volatile__ ("mrs %0, mpidr_el1" : "=r"(core_id));
|
|
|
|
return (unsigned int)core_id & 3;
|
|
|
|
}
|
|
|
|
|
2018-02-26 10:00:02 +00:00
|
|
|
static inline uint64_t get_debug_authentication_status(void) {
|
|
|
|
uint64_t debug_auth;
|
|
|
|
__asm__ __volatile__ ("mrs %0, dbgauthstatus_el1" : "=r"(debug_auth));
|
|
|
|
return debug_auth;
|
|
|
|
}
|
|
|
|
|
2018-02-25 19:00:50 +00:00
|
|
|
static inline bool check_32bit_additive_overflow(uint32_t a, uint32_t b) {
|
|
|
|
return __builtin_add_overflow_p(a, b, (uint32_t)0);
|
|
|
|
}
|
|
|
|
|
|
|
|
#endif
|