1/* @title: Higher Half Direct Mapping */
2#pragma once
3#include <compiler/core.h>
4#include <global.h>
5#include <types/types.h>
6
7bool hhdm_vaddr_in_range(vaddr_t vaddr);
8bool hhdm_paddr_in_range(paddr_t paddr);
9bool hhdm_ptr_in_range(void *ptr);
10
11static inline vaddr_t hhdm_paddr_to_vaddr(paddr_t p) {
12 return (vaddr_t) (ct_raw(p) + ct_raw(global.hhdm_offset));
13}
14
15static inline paddr_t hhdm_vaddr_to_paddr(vaddr_t v) {
16 return (paddr_t) (ct_raw(v) - ct_raw(global.hhdm_offset));
17}
18
19static inline paddr_t hhdm_ptr_to_paddr(const void *ptr) {
20 return hhdm_vaddr_to_paddr(v: (vaddr_t) ptr);
21}
22
23static inline void *hhdm_paddr_to_ptr(paddr_t p) {
24 return (void *) hhdm_paddr_to_vaddr(p);
25}
26