Searched refs:stack_va (Results 1 – 1 of 1) sorted by relevance
55 void *stack_va; variable60 install_pte(phys_to_virt(read_cr3()), 1, stack_va, in do_pf_tss()62 invlpg(stack_va); in do_pf_tss()370 stack_va = alloc_vpage(); in main()378 install_pte(phys_to_virt(read_cr3()), 1, stack_va, in main()380 invlpg(stack_va); in main()382 switch_stack(stack_va + 4095); in main()397 install_pte(phys_to_virt(read_cr3()), 1, stack_va, in main()399 invlpg(stack_va); in main()402 switch_stack(stack_va + 4095); in main()