blob: b428b15b394b9cfba6b460e8818dc82d8f9c1c3f (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
|
/*
* kernel component core - memory management interface
*/
#pragma once
#include <kc.h>
#include <stdint.h>
typedef uint64_t kc_phys_addr;
typedef void * kc_virt_addr;
kc_phys_addr kcc_page_alloc(void);
void kcc_page_free(kc_phys_addr page);
|
