Searched refs:dvma_arg (Results 1 – 1 of 1) sorted by relevance
65 typedef struct dvma_arg { struct1974 uint64_t dvma_arg; in immu_print_fault_info() local1985 dvma_arg = dvma; in immu_print_fault_info()1987 (void *)&dvma_arg); in immu_print_fault_info()1988 if (dvma_arg != ~0ULL) in immu_print_fault_info()