Home
last modified time | relevance | path

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

/devicemodel/core/
A Dsw_load_bzimage.c90 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