Searched refs:p2m_bad (Results 1 – 6 of 6) sorted by relevance
883 uint64_t p2m_bad; member
2157 uint64_t *p2m_bad) in xc_domain_p2m_audit() argument2168 *p2m_bad = domctl.u.audit_p2m.p2m_bad; in xc_domain_p2m_audit()
773 uint64_t *p2m_bad);
2441 uint64_t *p2m_bad) in audit_p2m() argument2535 *p2m_bad = (uint64_t) pmbad; in audit_p2m()
1191 &domctl->u.audit_p2m.p2m_bad); in arch_do_domctl()
1059 uint64_t *p2m_bad);
Completed in 25 milliseconds