blob: d6f1cd6d36fe8f7a1cc7faa67de10f7d6d34efce (
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/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);
|
