42 lines
1.0 KiB
C
42 lines
1.0 KiB
C
/* SPDX-License-Identifier: GPL-2.0 */
|
|
|
|
/*
|
|
* Copyright (c) 2021, Microsoft Corporation.
|
|
* Pasha Tatashin <pasha.tatashin@soleen.com>
|
|
*/
|
|
|
|
#ifndef _ASM_TRANS_TABLE_H
|
|
#define _ASM_TRANS_TABLE_H
|
|
|
|
#include <linux/bits.h>
|
|
#include <linux/types.h>
|
|
#include <asm/pgtable-types.h>
|
|
|
|
/*
|
|
* trans_alloc_page
|
|
* - Allocator that should return exactly one zeroed page, if this
|
|
* allocator fails, trans_pgd_create_copy() and trans_pgd_idmap_page()
|
|
* return -ENOMEM error.
|
|
*
|
|
* trans_alloc_arg
|
|
* - Passed to trans_alloc_page as an argument
|
|
*/
|
|
|
|
struct trans_pgd_info {
|
|
void * (*trans_alloc_page)(void *arg);
|
|
void *trans_alloc_arg;
|
|
};
|
|
|
|
int trans_pgd_create_copy(struct trans_pgd_info *info, pgd_t **trans_pgd,
|
|
unsigned long start, unsigned long end);
|
|
|
|
int trans_pgd_idmap_page(struct trans_pgd_info *info, phys_addr_t *trans_ttbr0,
|
|
unsigned long *t0sz, void *page);
|
|
|
|
int trans_pgd_copy_el2_vectors(struct trans_pgd_info *info,
|
|
phys_addr_t *el2_vectors);
|
|
|
|
extern char trans_pgd_stub_vectors[];
|
|
|
|
#endif /* _ASM_TRANS_TABLE_H */
|