Searched refs:dvma_arg (Results 1 – 1 of 1) sorted by relevance
63 typedef struct dvma_arg { struct1972 uint64_t dvma_arg; in immu_print_fault_info() local1983 dvma_arg = dvma; in immu_print_fault_info()1985 (void *)&dvma_arg); in immu_print_fault_info()1986 if (dvma_arg != ~0ULL) in immu_print_fault_info()