17 lines
558 B
C
17 lines
558 B
C
/* archdeps.h COPYRIGHT FUJITSU LIMITED 2017 */
|
|
#ifndef __HEADER_MCCTRL_ARM64_ARCHDEPS_H
|
|
#define __HEADER_MCCTRL_ARM64_ARCHDEPS_H
|
|
|
|
extern int translate_rva_to_rpa(ihk_os_t os, unsigned long rpt, unsigned long rva,
|
|
unsigned long *rpap, unsigned long *pgsizep);
|
|
|
|
#ifdef POSTK_DEBUG_ARCH_DEP_12
|
|
#define PFN_WRITE_COMBINED PTE_ATTRINDX(MT_NORMAL_NC)
|
|
|
|
static inline bool pte_is_write_combined(pte_t pte)
|
|
{
|
|
return ((pte_val(pte) & PTE_ATTRINDX_MASK) == PFN_WRITE_COMBINED);
|
|
}
|
|
#endif /* POSTK_DEBUG_ARCH_DEP_12 */
|
|
#endif /* __HEADER_MCCTRL_ARM64_ARCHDEPS_H */
|