Searched refs:boot_args (Results 1 – 1 of 1) sorted by relevance
58 static void* boot_args; variable411 boot_args = (uint8_t*)vptr + offset; in sm_init()414 boot_args = NULL; in sm_init()519 if (!boot_args) { in sm_get_boot_args()525 *boot_argsp = boot_args; in sm_get_boot_args()547 if (!boot_args) { in sm_put_boot_args()555 vmm_free_region(vmm_get_kernel_aspace(), (vaddr_t)boot_args); in sm_put_boot_args()556 boot_args = NULL; in sm_put_boot_args()564 if (boot_args) { in sm_release_boot_args()573 if (boot_args) in sm_release_boot_args()