Searched refs:p2m_bad (Results 1 – 6 of 6) sorted by relevance
852 uint64_t p2m_bad; member
713 uint64_t *p2m_bad);
2248 uint64_t *p2m_bad) in xc_domain_p2m_audit() argument2259 *p2m_bad = domctl.u.audit_p2m.p2m_bad; in xc_domain_p2m_audit()
2537 uint64_t *p2m_bad) in audit_p2m() argument2631 *p2m_bad = (uint64_t) pmbad; in audit_p2m()
1052 uint64_t *p2m_bad);
1264 &domctl->u.audit_p2m.p2m_bad); in arch_do_domctl()
Completed in 25 milliseconds