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

/devicemodel/core/
A D	sw_load_bzimage.c	90 uint32_t bootargs_addr; /* 0x228 */ member 285 zeropage->hdr.bootargs_addr = (uint32_t) in acrn_prepare_zeropage() 288 zeropage->hdr.bootargs_addr); in acrn_prepare_zeropage()

Completed in 11 milliseconds

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