Searched refs:sanitize_acrn_boot_info (Results 1 – 3 of 3) sorted by relevance
101 if (sanitize_acrn_boot_info(get_acrn_boot_info()) != 0) { in init_primary_pcpu()
73 int32_t sanitize_acrn_boot_info(struct acrn_boot_info *abi);
43 int32_t sanitize_acrn_boot_info(struct acrn_boot_info *abi) in sanitize_acrn_boot_info() function
Completed in 7 milliseconds