Searched refs:atkbdc_deinit (Results 1 – 3 of 3) sorted by relevance

/devicemodel/include/
A D	atkbdc.h	117 void atkbdc_deinit(struct vmctx *ctx);
/devicemodel/core/
A D	main.c	607 atkbdc_deinit(ctx); in vm_init_vdevs() 636 atkbdc_deinit(ctx); in vm_deinit_vdevs() 662 atkbdc_deinit(ctx); in vm_reset_vdevs()
/devicemodel/hw/platform/
A D	atkbdc.c	467 atkbdc_deinit(struct vmctx *ctx) in atkbdc_deinit() function

Completed in 7 milliseconds

Last Index update Fri Aug 22 02:31:50 CST 2025